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 канала Fri Tanke
Introduction by professor Douglas Hofstadter.
Видео Limits of Logic: The Gödel Legacy канала Fri Tanke
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Analogy as the Core of Cognition
Gödel's Incompleteness Theorem - Numberphile
The Limits of Understanding
Math Has a Fatal Flaw
When Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim Holt
Douglas Hofstadter on the Singularity
You Are A Strange Loop
INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard
Einstein lecture by Douglas Hofstadter
Math's Existential Crisis (Gödel's Incompleteness Theorems)
Douglas Hofstadter: The Nature of Categories and Concepts
Odifreddi a Foligno: "Kurt Gödel, Il Dio Della Logica"
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
The Human Story Lurking behind the Hofstadter Butterfly
Kurt Gödel's Philosophical Viewpoint
MIT Godel Escher Bach Lecture 1
Godel's 1st Incompleteness Theorem - Proof by Diagonalization
The Illusion of Certainty: Risk, Probability, and Chance
Lecture by Douglas Hofstadter: Albert Einstein on Light; Light on Albert Einstein
Kurt Gödel Centenary Full Lectures from the Princeton Institute for Advanced Study