6,068
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: +
no edit summary
==formalist approach of David Hilbert==
==formalist approach of David Hilbert==
Godel only showed that the formalist approach cannot prove consistency. Formalism may still succeed at other goals. [[User:RSchlafly|RSchlafly]] 03:30, 27 March 2007 (EDT)
Godel only showed that the formalist approach cannot prove consistency. Formalism may still succeed at other goals. [[User:RSchlafly|RSchlafly]] 03:30, 27 March 2007 (EDT)
::technically, it can only be consistent or complete, but not both. [[User:Jaques|Jaques]] 03:40, 27 March 2007 (EDT)