Gö·del (g d l), Kurt 1906-1978. Czech-born American mathematician and logician best known for his proof that the consistency of a mathematical system in which the truths of arithmetic can be expressed cannot be proven from within that system (1931). |
Gödel [ˈgɜːdəl]
n
(Biographies / Gödel, Kurt (1906-1978) M, USnational of birth: Austro-Hungarian, PHILOSOPHY: logician, SCIENCE: mathematician) Kurt (kʊrt). 1906-78, US logician and mathematician, born in Austria-Hungary. He showed (Gödel's proof) that in a formal axiomatic system, such as logic or mathematics, it is impossible to prove consistency without using methods from outside the system
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
| ?Page tools | ||
|---|---|---|
|