Publishes a paper whose incompleteness theorem startes the mathematical community. It states that within any rigidly logical mathematical system there are propositions that cannot be proved or disproved on the basis of the axioms within that system
Publishes a paper whose incompleteness theorem startes the mathematical community.It states that within any rigidly logical mathematical system there are propositions that cannot be proved or disproved on the basis of the axioms within that system