ROUND TABLE:Proof of Gödel's theorem
Boris L. Faifel, Saratov State Tecnical University
Abstract
Gödel's theorem is one of the most fundamental results in 20th-century mathematics. The presentation is devoted to the precise formulation and an outline of the proof of Gödel's incompleteness theorem. The presentation will employ the proof outline proposed by V.A. Uspensky. An elementary knowledge of set theory and the theory of algorithms will suffice to understand the main stages of the proof.
Speaker
Boris L. Faifel
Saratov State Tecnical University after Yuri Gagarin
Russia
Discussion
Ask question
