Document Type

Book Chapter

Publication Date

Summer 2016

Publication Source

Von Rang und Namen. Essays in Honour of Wolfgang Spohn, ed. by Wolfgang Freitag et al.

Inclusive pages

47-63

Publisher

Mentis

Place of Publication

Münster

ISBN/ISSN

978-3-95743-061-5

Peer Reviewed

invited

Abstract

We clarify the respective roles fixed points, diagonalization, and self- reference play in proofs of Gödel’s first incompleteness theorem.

Keywords

fixed points, diagonalization, self-reference, Gödel

Disciplines

Logic and Foundations | Logic and Foundations of Mathematics | Mathematics | Philosophy

Share

COinS