Search results

{{r|Kurt Gödel}}

First (in 1938) [[Kurt Gödel]] showed that it cannot be disproved,

The first step towards a solution was done in 1938 by Kurt Gödel == Kurt Gödel 1947 ==

...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.

...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

...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

*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]].

...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]

...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

...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

Not all systems achieve all three virtues. It has been proven by [[Kurt Gödel]] that a system with enough axioms and/or rules of derivation to derive the ...ne: [[Alan Turing]]'s work on the [[Entscheidungsproblem]] followed from [[Kurt Gödel]]'s work on the [[incompleteness theorems]], and the notion of general purp

* [[User:J. Noel Chiappa|Noel]] wasn't [[Kurt Gödel|logical]] about it at all - this was purely an accident, filling in a red l ...me song/Definition|Olympic theme song]] as well as [[Kurt Gödel/Definition|Kurt Gödel]]. -- [[User:Daniel Mietchen|Daniel Mietchen]] 11:35, 4 June 2008 (CDT)

...name=GODEL>[http://www.exploratorium.edu/complexity/CompLexicon/godel.html Kurt Gödel]</ref>.

...throughout the 20th Century, by logicians of the stature of David Hilbert, Kurt Gödel, and many others. The foundations for the theory of machine computation was

...orem.<ref>The first [[Incompleteness Theorem|incompleteness theorem]] of [[Kurt Gödel|Gödel]], somewhat stronger than this conclusion, states that a consistent

...tav Bergmann]], [[Rudolf Carnap]], [[Herbert Feigl]], [[Philipp Frank]], [[Kurt Gödel]], [[Hans Hahn]], [[Felix Kaufmann]], [[Victor Kraft]], [[Karl Menger]], [[

...]], and [[Herbert Feigl]], with occasional appearances by Hahn's student [[Kurt Gödel]]. When [[Ludwig Wittgenstein|Wittgenstein]] visited Vienna, Carnap would m

...diacritics, thus [[Hermann Goering]] rather than [[Hermann Göring]], but [[Kurt Gödel]] not [[Kurt Goedel]], because the best-known work about the mathematician