Limits of Logic: The Gödel Legacy

Published: 21 June 2016
on channel: The Flame of Reason

218,416

4.4k

Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. 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?

Introduction by professor Douglas Hofstadter.

Watch video Limits of Logic: The Gödel Legacy online, duration hours minute second in high quality that is uploaded to the channel The Flame of Reason 21 June 2016. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 218,416 times and liked it 4.4 thousand visitors.