Search results

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

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

...A [[modal logic]] version of the argument was devised by mathematician [[Kurt Gödel]]. The ontological argument has been controversial in philosophy and many p ...like [[Gottfried Leibniz]], [[Norman Malcolm]], [[Charles Hartshorne]], [[Kurt Gödel]] and [[Alvin Plantinga]] have reformulated the argument in an attempt to r

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

# [[Kurt Gödel]]

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

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