A mathematician wakes up to find his house on fire. He frantically looks around before seeing the fire extinguisher on the far wall of the room. “Aha!” he says, “a solution exists!” and goes back to sleep.
That’s a classical mathematician, perpetuator of Hilbert’s lunacy. He deserves to burn.
Non-constructive proofs of existence are one of the undesirable features of mainstream or classical mathematics. Some non-mainstream mathematicians have investigated how to modify logic to eliminate non-constructive proofs. For example:
Intuitionism is a broad term for this kind of tendency within mathematics. However, the term seems to mean a lot of different things to different people.
The (original) joke (as opposed to Nesov’s flame) isn’t necessarily ideological. It simply lampoons the general attitude of pure mathematicians, who by nature are typically more interested in the theoretical existence of solutions than in the practicalities of finding them, leaving the latter for scientists, engineers, etc. (Mathematicians, in other words, are very “meta” kind of people.)
That’s a classical mathematician, perpetuator of Hilbert’s lunacy. He deserves to burn.
Are you trying to start a flame war?
I did not understand this joke, assuming it was supposed to be funny.
Non-constructive proofs of existence are one of the undesirable features of mainstream or classical mathematics. Some non-mainstream mathematicians have investigated how to modify logic to eliminate non-constructive proofs. For example:
http://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation
Intuitionism is a broad term for this kind of tendency within mathematics. However, the term seems to mean a lot of different things to different people.
http://intuitionism.org/
The (original) joke (as opposed to Nesov’s flame) isn’t necessarily ideological. It simply lampoons the general attitude of pure mathematicians, who by nature are typically more interested in the theoretical existence of solutions than in the practicalities of finding them, leaving the latter for scientists, engineers, etc. (Mathematicians, in other words, are very “meta” kind of people.)