Video library: V. A. Uspenskii, Four ways to the Gödel Incompletness Theorem. Part 1

RUS ENG

VIDEO LIBRARY


Summer School "Contemporary Mathematics", 2007 July 20, 2007 09:40, Dubna

Four ways to the Gödel Incompletness Theorem. Part 1

V. A. Uspenskii

https://youtu.be/Ql64nT1ttME

Series of lectures

Four ways to the Gödel Incompletness Theorem. Part 1
V. A. Uspenskii, July 20, 2007 09:40
Four ways to the Gödel Incompletness Theorem. Part 2
V. A. Uspenskii, July 21, 2007 09:30
Four ways to the Gödel Incompletness Theorem. Part 3
V. A. Uspenskii, July 22, 2007 11:30

See also

Gödel's theorem — syntactic version
V. A. Uspenskii, July 19, 2010 09:30
Proof of impossibility in mathematical logic and theory of algorithms
A. L. Semenov, July 23, 2010 12:45

© Steklov Math. Inst. of RAS, 2024