Kurt-Godel-by-AK-Rockefeller
Kurt Godel by AK Rockefeller at Flikr, https://www.flickr.com/photos/akrockefeller/13892796901, https://creativecommons.org/licenses/by-sa/2.0/
ID the Future Podcasting on Intelligent Design and Evolution
Episodes

Gregory Chaitin Talks Gödel, Incompleteness … and Children

Episode
1433
Host
Robert J. Marks
Guest
Gregory Chaitin
Duration
00:21:28
Share
Facebook
Twitter
Print
arroba Email

In today’s ID the Future, we’re pleased to feature a cross-post from our sister site, Mind Matters. Here host Robert J. Marks begins a conversation with trailblazing mathematician and computer scientist Gregory Chaitin. The two discuss Chaitin’s beginnings in computer science, his growing up in the 1960s a stone’s throw from Central Park, his thoughts on historic scientists in his field such as Leonard Euler and Kurt Gödel, and the story of Chaitin’s cold calling the famed German-Austrian logician, mathematician, and philosopher, and how a snowstorm and Gödel’s quirky personality thwarted a meeting. Also touched on: Gödel’s ontological proof for the existence of God and how children can be said to have solved Chaitin’s incompleteness problem. 

Image Credit: Kurt Gödel by AK Rockefeller at Flickr, CC-BY-SA 2.0.

Gregory Chaitin

Gregory Chaitin is an Argentine-American mathematician living in Rio de Janeiro, and a lifetime honorary professor of the University of Buenos Aires with an honorary doctorate in philosophy from the University of Córdoba, the oldest university in Argentina and one of the oldest in South America. He was formerly at the IBM Watson Research Center where he was part of a small team that developed the Power processor architecture and its associated software. On the theoretical side, Chaitin has been called "le Gödel de l'informatique" because he extends Gödel and Turing's work on incompleteness by considering the size of computer programs and because of his discovery of the halting probability — for which was awarded the Leibniz Medallion by Wolfram Research in 2007. He has also proposed modeling evolution as a random walk in software space ("metabiology"). Among his books are: Algorithmic Information Theory; Conversations with a Mathematician; Meta Math!; and Proving Darwin.
Tags
a priori truths
complexity
divine inspiration
empirical science
Georg Cantor
Gödel Demons
Gödel’s ontological proof for the existence of God
Gregory Chaitin
incompleteness theorem
information theory
Kurt Gödel
Leonard Euler
ontological proof