Changes

This demonstrated the folly of the work of several leaders in the field.  [[Bertrand Russell]] had already published, in Principia Mathematica (1910-13), a massive attempt to axiomatize mathematics.  Gödel's proof also showed that the formalist approach of [[David Hilbert]] was bound to fail to prove consistency.

This demonstrated the folly of the work of several leaders in the field.  [[Bertrand Russell]] had already published, in Principia Mathematica (1910-13), a massive attempt to axiomatize mathematics.  Gödel's proof also showed that the formalist approach of [[David Hilbert]] was bound to fail to prove consistency.

Gödel's proof was a landmark for mathematics, demonstrated that it can never be a finished project as many mathematicians had believed.   

Gödel's proof was a landmark for mathematics, and demonstrated that it can never be a finished project as many mathematicians had believed.   

[[Category:Mathematicians|Gödel, Kurt]]

[[Category:Mathematicians|Gödel, Kurt]]