Definitions
Sorry, no definitions found. You may find more data at kurt godel.
Etymologies
Sorry, no etymologies found.
Examples

In his book Infinity and the Mind, mathematician and author Rudy Rucker relates a telephone interview with Kurt Godel, the author of the famous theorem that bears his name, and who is widely regarded as the greatest logician of the 20th century.
Dr. Larry Dossey: Is Technology Proof of Universal Consciousness?

In his book Infinity and the Mind, mathematician and author Rudy Rucker relates a telephone interview with Kurt Godel, the author of the famous theorem that bears his name, and who is widely regarded as the greatest logician of the 20th century.
Dr. Larry Dossey: Is Technology Proof of Universal Consciousness?

During WW II the brilliant, but extremely eccentric, logician, Kurt Godel, applied to become a US citizen.
Confusion in Political Theory, Arnold Kling  EconLog  Library of Economics and Liberty

Janna is a good friend, and her novel about Alan Turing and Kurt Godel is an extraordinarily imaginative achievement.

Kurt Godel demonstrated that any system that is strong enough to express arithmetic is also strong enough to express a formal counterpart of the selfreferential proposition in the surprise test example ˜This statement cannot be proved in this system™.

A brilliant Terran named Kurt Godel proved that there were certain absolutely fundamental limits to knowledge, and hence the idea of a completely Omniscient Being  one of the definitions of Alpha  was logically absurd.

Not very long ago, a mathematician named Kurt Godel put together unanswerable logical proof that God Is, and He Is, Who He Says He Is. However, Godel went nearly to his deathbed pretending to be an atheist so that he could keep his job, and did not submit his logical proof until he was certain that no atheist could persecute him any more.

That year, Kurt Godel proved, first, that any mathematics that includes the whole numbers will contain unprovable propositions, and, second, that it's impossible to prove that such a mathematical system is free of selfcontradictions.

About 20 years later, a German mathematician named Kurt Godel used what Russell and Whitehead had done in the Principia to show that it actually couldn't do what it aimed to do, that it couldn't contain all of math, that there would be true mathematical statements that were not logical consequences of the axioms that it set out.

As a novelist, she explored the separate but parallel lives of two influential 20thcentury scientists, Kurt Godel and Alan Turning.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.