https://tube.arthack.nz/videos/watch/abfc2407-56e9-4340-9c0d-1db96cc2d498 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. Fri, 10 Jul 2026 08:53:17 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://tube.arthack.nz https://tube.arthack.nz/client/assets/images/icons/icon-1500x1500.png https://tube.arthack.nz/videos/watch/abfc2407-56e9-4340-9c0d-1db96cc2d498 All rights reserved, unless otherwise specified in the terms specified at https://tube.arthack.nz/about and potential licenses granted by each content's rightholder.