RUS
ENG
Full version
VIDEO LIBRARY
Summer School "Contemporary Mathematics", 2010
July 23, 2010
12:45
, Dubna
Proof of impossibility in mathematical logic and theory of algorithms
A. L. Semenov
See also
Four ways to the Gödel Incompletness Theorem. Part 1
V. A. Uspenskii,
July 20, 2007
09:40
Gödel's theorem — syntactic version
V. A. Uspenskii,
July 19, 2010
09:30
©
Steklov Math. Inst. of RAS
, 2024