• Thumbnail for Kurt Gödel
    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)...
    46 KB (5,135 words) - 03:23, 24 March 2024
  • 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...
    91 KB (12,101 words) - 18:47, 23 March 2024
  • 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...
    10 KB (1,342 words) - 13:30, 14 March 2024
  • 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...
    28 KB (3,598 words) - 09:18, 12 March 2024
  • 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...
    7 KB (928 words) - 05:55, 2 January 2024
  • Thumbnail for Gödel, Escher, Bach
    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...
    16 KB (1,801 words) - 12:02, 12 December 2023
  • 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...
    97 KB (14,816 words) - 03:54, 3 March 2024
  • 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...
    24 KB (3,690 words) - 16:35, 1 February 2024
  • Thumbnail for Gödel's completeness theorem
    formally proven in particular formal systems. It was first proved by Kurt Gödel in 1929. It was then simplified when Leon Henkin observed in his Ph.D...
    17 KB (2,321 words) - 09:38, 19 March 2024
  • 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...
    2 KB (219 words) - 19:45, 1 October 2023
  • 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...
    68 KB (8,893 words) - 22:03, 21 February 2024
  • Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first...
    29 KB (2,108 words) - 02:38, 20 February 2024
  • of Kurt Gödel and Paul Cohen. Gödel showed that CH cannot be disproved from ZF, even if the axiom of choice (AC) is adopted (making ZFC). Gödel's proof...
    30 KB (3,789 words) - 14:01, 1 February 2024
  • timeless universe include physicists such as Ernst Mach, Albert Einstein, Kurt Gödel and Carlo Rovelli, and timeless universes have been contemplated in works...
    17 KB (2,319 words) - 21:24, 18 October 2023
  • Gödel's theorem may refer to any of several theorems developed by the mathematician Kurt Gödel: Gödel's incompleteness theorems Gödel's completeness theorem...
    475 bytes (60 words) - 17:49, 22 February 2022
  • constructible hierarchy Lα{\displaystyle L_{\alpha }}. It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized...
    32 KB (5,716 words) - 02:09, 31 December 2023
  • Kurt Gödel (28 April 1906 – 14 January 1978) was an Austrian (later American) logician, mathematician and philosopher. Godel or similar may also refer...
    847 bytes (147 words) - 22:04, 3 March 2019
  • Kurt Gödel showed that most of the goals of Hilbert's program were impossible to achieve, at least if interpreted in the most obvious way. Gödel's second...
    8 KB (1,159 words) - 03:11, 8 March 2024
  • his Gödel, Escher, Bach: The Gödel number of a formula is obtained by concatenating the Gödel numbers of each symbol making up the formula. The Gödel numbers...
    22 KB (2,996 words) - 18:15, 12 February 2024
  • program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program...
    68 KB (8,326 words) - 20:09, 22 March 2024
  • recontextualized by modern philosophers such as Arthur Schopenhauer, Kurt Gödel, Mircea Eliade, and Magdalena Villaba; otherwise, the term transmigration...
    10 KB (1,107 words) - 21:51, 10 February 2024
  • (first proposed in 2003), but is named after Kurt Gödel who inspired the mathematical theories. The Gödel machine is often discussed when dealing with...
    10 KB (1,327 words) - 17:31, 4 February 2024
  • completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative...
    15 KB (1,500 words) - 01:07, 19 March 2024
  • Thumbnail for Principia Mathematica
    Retrieved 1 May 2018 – via Stanford Encyclopedia of Philosophy. Gödel 1944, p. 126 (reprinted in Gödel 1990, p. 120). For comparison, see the translated portion...
    71 KB (9,458 words) - 11:07, 26 March 2024
  • Thumbnail for Time travel
    as time travel. Such a solution was first proposed by Kurt Gödel, a solution known as the Gödel metric, but his (and others') solution requires the universe...
    76 KB (8,564 words) - 18:39, 13 March 2024
  • attempts were made to formalize the notion of computability: In 1933, Kurt Gödel, with Jacques Herbrand, formalized the definition of the class of general...
    57 KB (6,689 words) - 14:19, 27 March 2024
  • a consistent set of axioms, a quest that was ultimately scuppered by Kurt Gödel. Part II, "The Delicate Balance of Terror", discusses von Neumann's role...
    19 KB (2,451 words) - 09:17, 6 March 2024
  • depending on the formalism chosen. Gödel, Kurt (1990). "[Gödel (1946)]". In Feferman, Solomon; et al. (eds.). Kurt Gödel Publications 1938–1974 Volume II...
    54 KB (6,430 words) - 15:41, 4 February 2024
  • Thumbnail for Kurt
    player Kurt Equiluz (1929–2022), Austrian classical tenor in opera and concert Kurt Gerstein, German SS officer and member of Waffen-SS Kurt Gödel (1906–1978)...
    8 KB (980 words) - 22:07, 27 March 2024
  • Thumbnail for Axiom of choice
    constructive mathematics, its use has also been questioned. In 1938, Kurt Gödel showed that the negation of the axiom of choice is not a theorem of ZF...
    59 KB (7,939 words) - 05:25, 27 March 2024