Kurt Gödel — als Student der Universität Wien Mitte der 1920er Jahre Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch amerikanischer Mathematiker und einer … Deutsch Wikipedia
Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril … Wikipedia Español
Kurt Gödel — ] . These rotating universes would allow time travel and caused Einstein to have doubts about his own theory. His solutions are known as the Gödel metric.During his many years at the Institute, Gödel s interests turned to philosophy and physics.… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Gaisi Takeuti — is a Japanese mathematician, known for his work in proof theory.After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana Champaign. Takeuti is the… … Wikipedia
Petr Hájek — (* 6 February 1940, Prague) is a Czech scientist in the area of mathematical logic [http://www.radio.cz/cz/clanek/91701 Český rozhlas in Czech] and a professor of mathematics. He worked in the Department of Computer Science at the Academy of… … Wikipedia
Ronald Jensen — Infobox Scientist name = Ronald Jensen image width = 200px caption = Prof. Ronald Jensen giving a lecture during The First European Set Theory Meeting , Będlewo (Poland), July 2007 birth date = Birth date and age|1936|4|1 birth place = residence … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
