Comment by andrewcooke on The Strangest Thing An AI Could Tell You · 2009-07-15T11:56:03.237Z · LW · GW

actually, the wikipedia article for intuitionism is more helpful - http://en.wikipedia.org/wiki/Intuitionism (it has a section directly addressing infinities)

Comment by andrewcooke on The Strangest Thing An AI Could Tell You · 2009-07-15T11:54:25.820Z · LW · GW

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).