Incompleteness Theorems

Some articles on theorems, incompleteness theorems:

Bew - History - Generalization and Acceptance
... Gödel gave a series of lectures on his theorems at Princeton in 1933–1934 to an audience that included Church, Kleene, and Rosser ... By this time, Gödel had grasped that the key property his theorems required is that the theory must be effective (at the time, the term "general recursive ... These developments left the incompleteness theorems in essentially their modern form ...
Jacques Bouveresse - Works - Incompleteness and Philosophy
... Jacques Bouveresse is interested in the incompleteness theorems of Kurt Gödel and their philosophical consequences ... de l'analogie, the use made of these theorems by Régis Debray ... the training necessary to comprehend such complex theorems ...
Bew - History - Criticisms - Wittgenstein
... Ludwig Wittgenstein wrote several passages about the incompleteness theorems that were published posthumously in his 1953 Remarks on the Foundations of Mathematics ... of this criticism caused Wittgenstein's remarks on the incompleteness theorems to have little impact on the logic community ... And wrote to Karl Menger that Wittgenstein's comments demonstrate a willful misunderstanding of the incompleteness theorems writing "It is clear from the passages you cite that ...