(2016) Limits of Logic : The Gödel Legacy - Douglas Hofstadter

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? Source: https://youtu.be/V9ohtKameio Introduction by professor Douglas Hofstadter.