Math Site
  • Athabasca University
  • Math Site
  • Lessons in Logic
  • Limits of Logic: The Gödel Legacy
  • Home
  • Mathematics assessment
  • Math Centre
    • Initiation
    • Subscription form
  • Lessons in Logic
    • Introduction
    • Formal Logic
    • Logical Fallacies
    • Philosophical Logic
    • Limits of Logic: The Gödel Legacy
  • Mathematics applied
  • Mathematics Pure
    • The Importance of Simple Arithmetic
    • Cryptography: ways to keep a secret
    • The predictive powers of abstract mathematics
    • General Theory of Relativity
    • Star Wars - science or fiction?
    • The Nature of Reality
  • Historical Perspectives
    • History revisited
    • Resurrecting Napier's Bones
  • Personal perspectives
  • Learning styles
  • Math tools
  • Other Math Sites
  • Contact us
  • Credits

Limits of Logic: The Gödel Legacy

  • Limits of Logic: The Gödel Legacy
    (published on June 21, 2016 by Fri Tanke)

Kurt Gödel showed that mathematical thinking cannot be encapsulated in a formal axiomatic reasoning system. He proved that any formal symbolic system of axioms is either incomplete or inconsistent.

The talk itself addresses some of the following issues:
“What does this deep result mean in practice? What are the limits of computer thinking? Can beauty and creativity and a sense of humor be formalized?”

This talk was given by Douglas Hofstadter, an American scholar of Cognitive Science, Physics, and Comparative Literature.

  • What are the limits of mathematical explanation? – with David Charles McCarty
    (published on January 26, 2015 by the Copernicus Center for Interdisciplinary Studies)
  • What We Cannot Know – with Marcus du Sautoy
    (published on January 4, 2017 by The Royal Institution)

Is it possible that we will one day know everything? Or are there fields of research that will always lie beyond the bounds of human comprehension? Marcus du Sautoy investigates.

Updated June 30, 2022 by Student Journey Squad (sjs@athabascau.ca)

https://www.athabascau.ca/math-site/ b01f33e50a2a51fa5b33dd6f576dd2fd