Advertisement

Advertisement

Gödel

[ gœd-l ]

noun

  1. Kurt [kurt], 1906–78, U.S. mathematician and logician, born in Austria-Hungary.


Gödel

/ ˈɡɜːdəl /

noun

  1. GödelKurt19061978MUSAustro-HungarianPHILOSOPHY: logicianSCIENCE: 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


Gödel

/ gŭdl /

  1. Austrian-born American mathematician who in 1931 published the most important axiom in modern mathematics, known as Gödel's proof. It states that in any finite mathematical system, there will always be statements that cannot be proved or disproved. Gödel's proof ended efforts by mathematicians to find a mathematical system that was entirely consistent in itself.


Discover More

Example Sentences

Biographical works on philosophers followed— Kurt Godel, then Baruch Spinoza, her favorite philosopher.

Advertisement

Word of the Day

firkin

[fur-kin ]

Meaning and examples

Start each day with the Word of the Day in your inbox!

By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.

Advertisement

Advertisement

Advertisement


Godefroy de BouillonGödel's incompleteness theorem