[FOM] Gödel on intuitionism and LEM

Martin Davis martin at eipye.com
Wed Oct 12 17:04:12 EDT 2005

See his essay in vol. III of his Collected Works, pp. 189-201.

He remarks that although excluded middle doesn't hold for intuitionistic 
disjunction, it does hold intuitionistically if (p v q) is DEFINED in terms 
of intuitionistic negation and conjunction as
~(~p & ~q).


More information about the FOM mailing list