Je was op zoek naar: incompleteness (Portugees - Engels)

"godel's incompleteness theorems".
"godel's incompleteness theorems".

"incompleteness: the proof and paradox of kurt gödel".
"incompleteness: the proof and paradox of kurt gödel".

* october 2011 radiolab episode about/including gödel's incompleteness theorem
* october 2011 radiolab episode about/including gödel's incompleteness theorem

*first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.
* first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.

* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.
* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.

"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.
"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.

* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.

* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.
* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.

* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.
* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.