Limits of Logic: The Gödel Legacy
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 without registration, duration hours minute second in high quality. This video was added by user The Flame of Reason 21 June 2016, don't forget to share it with your friends and acquaintances, it has been viewed on our site 218,416 once and liked it 4.4 thousand people.