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.

    Congrats to Janna Levin

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

    Epistemic Paradoxes

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

    The Songs of Distant Earth

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

    Recent Activity

  • 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 self-contradictions.

    News from The Scientist

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

    NPR Topics: News

  • As a novelist, she explored the separate but parallel lives of two influential 20th-century scientists, Kurt Godel and Alan Turning.

    CITIZEN-TIMES.com - News

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.