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.
Смотрите видео Limits of Logic: The Gödel Legacy онлайн, длительностью часов минут секунд в хорошем качестве, которое загружено на канал The Flame of Reason 21 Июнь 2016. Делитесь ссылкой на видео в социальных сетях, чтобы ваши подписчики и друзья так же посмотрели это видео. Данный видеоклип посмотрели 218,416 раз и оно понравилось 4.4 тысяч посетителям.
