Naturalization of Kurt Gödel" (PDF). Retrieved April 16, 2019. "Kurt Gödel – Institute for Advanced Study". Retrieved December 1, 2015. Gödel, Kurt (July 1, 1949)...

incompleteness theorem Gödel, Escher, Bach Gödel machine Gödel's completeness theorem Gödel's speed-up theorem Löb's Theorem Minds, Machines and Gödel Non-standard...

number. The concept was developed by Kurt Gödel for the proof of his incompleteness theorems. (Gödel 1931) A Gödel numbering can be interpreted as an encoding...

Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development...

Hofstadter. By exploring common themes in the lives and works of logician Kurt Gödel, artist M. C. Escher, and composer Johann Sebastian Bach, the book expounds...

philosopher Kurt Gödel postulated in 1947. The loophole would permit the American democracy to be legally turned into a dictatorship. Gödel told his friend...

The Gödel metric, also known as the Gödel solution or Gödel universe, is an exact solution, found in 1949 by Kurt Gödel, of the Einstein field equations...

p. 231. Gödel's axiom B1 (Gödel 1940, p. 5). Gödel's axiom B2 (Gödel 1940, p. 5). Gödel's axiom B3 (Gödel 1940, p. 5). Gödel's axiom B4 (Gödel 1940, p...

2006, the Gödel society organized Horizons of Truth, an international symposium celebrating the 100th birthday of Kurt Gödel. In 2011 the Gödel society...

ontological argument. Mathematician Kurt Gödel provided a formal argument for God's existence. The argument was constructed by Gödel but not published until long...