Title of article :
The incompleteness theorems after 70 years
Original Research Article
Author/Authors :
Henryk Kotlarski، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Abstract :
We give some information about new proofs of the incompleteness theorems, found in 1990s. Some of them do not require the diagonal lemma as a method of construction of an independent statement.
Keywords :
G?delיs incompleteness theorems
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
