The distinction you make is correct in the sense there is indeed a fundamental difference between proving P by assuming not-P and reaching a contradiction and on the other hand proving not-P by assuming P and reaching a…
In addition to $TERM, I wish there was a standard variable defined by terminal emulators that would contain the background color. This would let programs choose their colors accordingly, rather than try for a…
The QWERTY layout has a funny difference with for instance the french AZERTY layout. On an AZERTY keyboard, the parentheses () are directly accessible whereas the square brackets [] are not. On a QWERTY keyboard, this…
> On the other hand, I think you understand it to mean: "true in all models of some latent theory left implicit", where the theory may be ZF(C) or something else depending on context? Yes, that's what I mean. (For me,…
> This is very far away from my original point Yes, the discussion has deviated, and I don't think we will resolve the disagreement, but I wanted to make my position clearer w.r.t to the claim that "most mathematicians…
> I suspect that most mathematicians are Platonists (this may be my bias creeping in) and they believe the objects they work with are real > [...] I dispute that rigourous proof is what actually determines truth [...]…
> As per 1, my position is that there is no such thing as “true alone”, at least not in mathematical logic Yes I agree. There is always some context implied if we are being rigorous. But we do use the word "true" alone.…
There are weaker forms, those accepted in intuitionistic logic. The law of excluded middle usually appears in mathematical proofs in the form of reasoning by contradiction: To prove A, assume not-A and reach a…
The problem is that averages are constructs of the mind. It is a fallacy to think that random citizens are average citizens. You can average numbers, you cannot average people.
The idea is that you can reuse instructions for signed integer comparisons. This is explicitely mentioned in the standard, section 5.3: https://posithub.org/docs/posit_standard-2.pdf
I mostly agree. What I mean by "fondamentally not a technical problem but a political one" is that technological solutions to bad or incompetent government policies seem to me to be band-aids that do not actually solve…
The question for me would be: is hydrogen really the best chemical for energy storage? (I genuinely do not know actually.) Although you are not explicitely saying that, it seems to me that the underlying assumption…
There was also Nicolas-Joseph Cugnot who built a steam "car" in 1770. https://en.wikipedia.org/wiki/Nicolas-Joseph_Cugnot
> We do not know whether this virus is purely natural. Actually, the origin of the virus is irrelevant to the point I was trying to make. In my experience, people opposed to vaccination are often biased against it by…
> Vaccine isn't 100% protection from being affected by the virus. True, but I don't care about that. It is a bit as if you were arguing that I should not fasten my seat belt because it is not 100% effective at saving me…
> The important point is I can't choose to not get the virus, but I can choose to not get the vaccine. I disagree. You can choose not to be affected by the virus by taking the vaccine. That's the whole point of the…
I don't understand why people are so obsessed over potential long term effects of vaccines while completely ignoring the potential long term effects of covid. There are no examples of vaccines with long term side…
Nice option, but whitelisting is a bit much for me. Amazingly, the iphone still does not have an option to automatically block anonymous calls (those that hide their numbers) and only them.
Although the explanation of what you mean by "context-free grammars" is clear, it seems to me that you should be using "unambiguous grammars" instead. An ambiguous context-free grammar is not going to facilitate the job…
The distinction you make is correct in the sense there is indeed a fundamental difference between proving P by assuming not-P and reaching a contradiction and on the other hand proving not-P by assuming P and reaching a…
In addition to $TERM, I wish there was a standard variable defined by terminal emulators that would contain the background color. This would let programs choose their colors accordingly, rather than try for a…
The QWERTY layout has a funny difference with for instance the french AZERTY layout. On an AZERTY keyboard, the parentheses () are directly accessible whereas the square brackets [] are not. On a QWERTY keyboard, this…
> On the other hand, I think you understand it to mean: "true in all models of some latent theory left implicit", where the theory may be ZF(C) or something else depending on context? Yes, that's what I mean. (For me,…
> This is very far away from my original point Yes, the discussion has deviated, and I don't think we will resolve the disagreement, but I wanted to make my position clearer w.r.t to the claim that "most mathematicians…
> I suspect that most mathematicians are Platonists (this may be my bias creeping in) and they believe the objects they work with are real > [...] I dispute that rigourous proof is what actually determines truth [...]…
> As per 1, my position is that there is no such thing as “true alone”, at least not in mathematical logic Yes I agree. There is always some context implied if we are being rigorous. But we do use the word "true" alone.…
There are weaker forms, those accepted in intuitionistic logic. The law of excluded middle usually appears in mathematical proofs in the form of reasoning by contradiction: To prove A, assume not-A and reach a…
The problem is that averages are constructs of the mind. It is a fallacy to think that random citizens are average citizens. You can average numbers, you cannot average people.
The idea is that you can reuse instructions for signed integer comparisons. This is explicitely mentioned in the standard, section 5.3: https://posithub.org/docs/posit_standard-2.pdf
I mostly agree. What I mean by "fondamentally not a technical problem but a political one" is that technological solutions to bad or incompetent government policies seem to me to be band-aids that do not actually solve…
The question for me would be: is hydrogen really the best chemical for energy storage? (I genuinely do not know actually.) Although you are not explicitely saying that, it seems to me that the underlying assumption…
There was also Nicolas-Joseph Cugnot who built a steam "car" in 1770. https://en.wikipedia.org/wiki/Nicolas-Joseph_Cugnot
> We do not know whether this virus is purely natural. Actually, the origin of the virus is irrelevant to the point I was trying to make. In my experience, people opposed to vaccination are often biased against it by…
> Vaccine isn't 100% protection from being affected by the virus. True, but I don't care about that. It is a bit as if you were arguing that I should not fasten my seat belt because it is not 100% effective at saving me…
> The important point is I can't choose to not get the virus, but I can choose to not get the vaccine. I disagree. You can choose not to be affected by the virus by taking the vaccine. That's the whole point of the…
I don't understand why people are so obsessed over potential long term effects of vaccines while completely ignoring the potential long term effects of covid. There are no examples of vaccines with long term side…
Nice option, but whitelisting is a bit much for me. Amazingly, the iphone still does not have an option to automatically block anonymous calls (those that hide their numbers) and only them.
Although the explanation of what you mean by "context-free grammars" is clear, it seems to me that you should be using "unambiguous grammars" instead. An ambiguous context-free grammar is not going to facilitate the job…