FOM: Intuitionism

Jesper Carlstrom jesper at matematik.su.se
Thu May 23 03:57:39 EDT 2002


Sorry, maybe I wasn't explicit enough: of course I agree that "either p is
provable, not-p is provable, or neither is provable" can NOT be accepted
by an intuitionist. I just wanted to contribute to the discussion WHY this
is the case.

Jesper Carlström






More information about the FOM mailing list