Ông là tác giả của một định lý nổi tiếng trong toán học: "Định lý bất toàn" (incompleteness theorem), là một định lý được giới khoa học so sánh với thuyết tương đối của Einstein và nguyên lý bất định của Heisenberg. Định lý này khẳng định rằng bất kì một hệ tiên đề hình thức độc lập nào đủ mạnh để miêu tả số học cũng hàm chứa những mệnh đề không thể khẳng định mà cũng không thể phủ định. Được chứng minh vào năm 1930 và công bố một năm sau đó, định lý này đã đập tan niềm tin tuyệt đối của các nhà toán học vào sức mạnh của các công cụ hình thức vốn được đề xuất bởi David Hilbert và các cộng sự nhằm loại bỏ những mâu thuẫn và nghịch lý ra khỏi toán học.
Ông sống rất sạch sẽ, thậm chí có tin đồn rằng ông mất năm 1978 vì ông sợ không dám ăn thức ăn trong bát đĩa mà ông nghi là chưa sạch. Gödel mắc bệnh hoang tưởng, luôn nghi ngờ có người âm mưu, đầu độc ông.
Định lý Gödel
Tác phẩm
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte für Mathematik und Physik, vol. 38 (1931) [1]Lưu trữ 2006-07-05 tại Wayback Machine
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton, NJ. (1940)
Rotating Universes in General Relativity Theory (1950)
Tham khảo thêm
Dawson, John W. Logical dilemmas: The life and work of Kurt Gödel. A K Peters. ISBN 1-56881-025-3
Depauli-Schimanovich, Werner, & Casti, John L. Gödel: A life of logic. Perseus. ISBN 0-7382-0518-4
Goldstein, Rebecca (2005). Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton & Company. ISBN 0-393-05169-2
Guerra-Pujol, Enrique (2013). “Gödel's Loophole”. Capital University Law Review. University of Central Florida; Pontifical Catholic University of Puerto Rico. 41: 637–673. SSRN2010183.