ÐÇ¿ÕÓ°ÊÓ

• 
  (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 humour be formalized?”

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

• 
  (published on January 26, 2015 by the Copernicus Center for Interdisciplinary Studies)
• 
  (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.