This statement is false. Think about it, and it makes your head hurt. If it’s true, it’s false. If it’s false, it’s true. In 1931, Austrian logician Kurt Gödel shocked the worlds of mathematics and philosophy by establishing that such statements are far more than a quirky turn of language: he showed that there are mathematical truths which simply can’t be proven. In the decades since, thinkers have taken the brilliant Gödel’s result in a variety of directions–linking it to limits of human comprehension and the quest to recreate human thinking on a computer. This program explores Gödel’s discovery and examines the wider implications of his revolutionary finding. Participants include mathematician Gregory Chaitin, author Rebecca Goldstein, astrophysicist Mario Livio and artificial intelligence expert Marvin Minsky.
Dr. Mario Livio is an astrophysicist, a best-selling author, and a popular speaker. He is a Fellow of the American Association for the Advancement of Science. He has published more than 400 scientific papers on topics ranging from Dark Energy and cosmology to black holes and extrasolar planets.Read More
Gregory Chaitin is a mathematician and computer scientist who began making lasting contributions to his field while still a student at the Bronx High School of Science. His approach to mathematics views the field as much as an art form as science and inextricably linked with philosophical questions.Read More