Limits of Logic: The Gödel Legacy

The Flame of Reason June 21, 2016
Video Thumbnail

About

No channel description available.

Video Description

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.

You May Also Like

Essential Logic & Math Books

AI-recommended products based on this video