Title of article
The incompleteness theorems after 70 years Original Research Article
Author/Authors
Henryk Kotlarski، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
14
From page
125
To page
138
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
Serial Year
2004
Journal title
Annals of Pure and Applied Logic
Record number
889947
Link To Document