Kurt Godel
| Documentation: |
| Comment: The most important logician of the twentieth century. He demonstrated the completeness of the first-order predicate calculus and the incompleteness of any formal system strong enough to demonstrate the truths of Peano arithmetic. He also made important contributions to SetTheory and to Physics. |
| Biographical Notes: |
| Kurt Godel was born in Austria. He was born on April 28, 1906. |
| Location: |
| Kurt Godel was born in Austria. |
| Miscellaneous: |
| Kurt Godel has expert knowledge about physics, mathematical logic, and set theory. Him is a famous figure in the field of mathematical logic since 1950. |
| Kurt Godel speaks German. The concept "Kurt Godel" is conceptually related to the concept "philosophy of logic". He has been dead since April 6, 2005. Alfred Tarski is acquainted with Kurt Godel. |
| Kurt Godel died on January 14, 1978. |