Search results

Page title matches

• Kurt Gödel
  {{Image|Young Kurt Gödel as a student in 1925.jpg|right|225px|Kurt Gödel in 1925.}} ...th century mathematics". <ref>[http://plato.stanford.edu/entries/goedel/ ''Kurt Gödel''] at the [[Stanford Encyclopedia of Philosophy]], Introduction</ref> It st
  3 KB (458 words) - 07:00, 9 September 2024
• Kurt Gödel/Definition
  406 bytes (58 words) - 10:18, 9 August 2024
• Kurt Gödel/Related Articles
  Auto-populated based on [[Special:WhatLinksHere/Kurt Gödel]]. Needs checking by a human.
  764 bytes (100 words) - 07:00, 9 September 2024

Page text matches

• Kurt Goedel
  #Redirect [[Kurt Gödel]]
  25 bytes (4 words) - 08:34, 4 June 2008
• Gödel (disambiguation)
  * [[Kurt Gödel]]
  31 bytes (4 words) - 12:20, 31 May 2009
• Kurt Gödel
  {{Image|Young Kurt Gödel as a student in 1925.jpg|right|225px|Kurt Gödel in 1925.}} ...th century mathematics". <ref>[http://plato.stanford.edu/entries/goedel/ ''Kurt Gödel''] at the [[Stanford Encyclopedia of Philosophy]], Introduction</ref> It st
  3 KB (458 words) - 07:00, 9 September 2024
• Kurt Gödel/Related Articles
  Auto-populated based on [[Special:WhatLinksHere/Kurt Gödel]]. Needs checking by a human.
  764 bytes (100 words) - 07:00, 9 September 2024
• Set theory/Related Articles
  {{r|Kurt Gödel}}
  477 bytes (65 words) - 07:22, 22 July 2011
• Rudolf Carnap/Related Articles
  {{r|Kurt Gödel}}
  621 bytes (81 words) - 20:08, 11 January 2010
• Continuum hypothesis/Bibliography
  <br> Kurt Gödel, ''The Consistency of the Axiom of Choice and of the Generalized Continuum- <br> Kurt Gödel, ''Consistency-Proof for the Generalized Continuum-Hypothesis''.
  4 KB (568 words) - 10:36, 1 June 2024
• Axiom of choice/Related Articles
  {{r|Kurt Gödel}}
  763 bytes (101 words) - 07:01, 15 July 2024
• Logical positivism/Related Articles
  {{r|Kurt Gödel}}
  882 bytes (116 words) - 07:00, 13 September 2024
• Halting problem/Related Articles
  {{r|Kurt Gödel}}
  795 bytes (105 words) - 12:00, 25 August 2024
• Zermelo-Fraenkel axioms/Related Articles
  {{r|Kurt Gödel}}
  907 bytes (146 words) - 15:31, 11 May 2011
• Boolean algebra/Related Articles
  {{r|Kurt Gödel}}
  1 KB (171 words) - 12:00, 20 July 2024
• Aleph-0
  First (in 1938) [[Kurt Gödel]] showed that it cannot be disproved,
  1 KB (218 words) - 07:01, 8 July 2024
• Continuum hypothesis
  The first step towards a solution was done in 1938 by Kurt Gödel == Kurt Gödel 1947 ==
  8 KB (1,293 words) - 17:00, 1 August 2024
• Axiom of choice
  ...lidity of the axiom is not universally accepted among mathematicians and [[Kurt Gödel]] showed that it was independent of the other axioms of set theory.
  2 KB (270 words) - 07:01, 15 July 2024
• Halting problem
  ...e time, a revolution in mathematical thought was already underway due to [[Kurt Gödel|Gödel]]'s [[Incompleteness Theorem]] of 1931, which demonstrated that cert
  6 KB (992 words) - 12:00, 25 August 2024
• Alan Turing
  ...ed it to solve the [[halting problem]], the computer science analogue of [[Kurt Gödel]]'s [[Incompleteness Theorem]]. This, together with work by [[Alonzo Church
  5 KB (786 words) - 17:00, 7 July 2024
• Logical positivism
  *The logician and mathematician '''[[Kurt Gödel]]''', who proved the completeness of [[first-order logic]] and the [[Gödel ...Bonn]] and [[Vienna]]; among his students there were [[Karl Popper]] and [[Kurt Gödel]].
  31 KB (4,347 words) - 07:00, 13 September 2024
• Vienna Circle/Bibliography
  ...ss]]. (1939). The [[Königsberg]] congress (1930) was very important, for [[Kurt Gödel]] announced that he has proved the [[completeness]] of [[first-order logic]
  10 KB (1,279 words) - 10:47, 9 September 2023
• Set theory/Citable Version
  ...John von Neumann|von '''N'''eumann]], [[Paul Bernays|'''B'''ernays]] and [[Kurt Gödel|'''G'''ödel]] between about 1920 and 1940. Its objects explicitly include
  22 KB (3,815 words) - 15:46, 23 September 2013