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.