From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference

Research output: Contribution to journalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference'. Together they form a unique fingerprint.

Keyphrases

Arts and Humanities

Mathematics

Computer Science