Kurt Gödel

Kurt Gödel was born in 1906 in Brünn, Austria-Hungary, now Brno in the Czech Republic, into a German-speaking family. As a child he was so curious that his family called him 'Mr. Why'. He studied at the University of Vienna, first physics and then mathematics and philosophy, and attended meetings of the philosophers known as the Vienna Circle. In 1931 he published the paper On Formally Undecidable Propositions of Principia Mathematica and Related Systems, which contains his incompleteness theorems. They show that any consistent formal system rich enough to describe basic arithmetic contains true statements that cannot be proved within the system, and that such a system cannot prove its own consistency. The result changed mathematical logic and the philosophy of mathematics. In 1940, after the annexation of Austria by Nazi Germany, he and his wife Adele emigrated to the United States, where he joined the Institute for Advanced Study in Princeton and became a close friend of Albert Einstein. He also did important work in set theory and on Einstein's equations. He died in Princeton in 1978.

Kurt Gödel is also an author in the library: author page and works.

Faith: Baptized Lutheran; he called his belief theistic but did not belong to any religious congregation. Source: Wikipedia