Video library: V. A. Uspenskii, Gödel's theorem ---; syntactic version

RUS ENG

VIDEO LIBRARY


Summer School "Contemporary Mathematics", 2010 July 19, 2010 09:30, Dubna

Gödel's theorem — syntactic version

V. A. Uspenskii

See also

Four ways to the Gödel Incompletness Theorem. Part 1
V. A. Uspenskii, July 20, 2007 09:40
Proof of impossibility in mathematical logic and theory of algorithms
A. L. Semenov, July 23, 2010 12:45

© Steklov Math. Inst. of RAS, 2024