= 27d567bc2d48d9f40e9ccc20ea370b15)
"All mathematical reasoning involving "infinities" involves self-evident contradictions, but human mathematicians have a blind spot with respect to them." -Eliezer Yudkowsky
I'm going to lose sleep over this one...Is there anything to this?
yes. at least, i assume that it's related to intuitionist or constructivist logic (which you can google - for example http://en.wikipedia.org/wiki/Intuitionistic_logic)
the flip side is that apparently you can do an awful lot of maths without the law of the excluded middle (which is what is necessary to reason with infinities).
= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d){kind=logo}
yes. at least, i assume that it's related to intuitionist or constructivist logic (which you can google - for example http://en.wikipedia.org/wiki/Intuitionistic_logic)
the flip side is that apparently you can do an awful lot of maths without the law of the excluded middle (which is what is necessary to reason with infinities).
actually, the wikipedia article for intuitionism is more helpful - http://en.wikipedia.org/wiki/Intuitionism (it has a section directly addressing infinities)