= 27d567bc2d48d9f40e9ccc20ea370b15)
Eliezer_Yudkowsky comments on Solutions to Political Problems As Counterfactuals - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (36)
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.)