IN SEARCH OF THE SOURCES OF INCOMPLETENESS

@article{vonPlato2019INSO,
  title={IN SEARCH OF THE SOURCES OF INCOMPLETENESS},
  author={Jan von Plato},
  journal={Proceedings of the International Congress of Mathematicians (ICM 2018)},
  year={2019}
}
  • Jan von Plato
  • Published 1 May 2019
  • Computer Science
  • Proceedings of the International Congress of Mathematicians (ICM 2018)

Selected Works of Kurt Gödel Gödel’s Incompleteness Theorem(s)

With his Completeness Theorem the logician and philosopher Kurt Gödel made a first significant step towards carrying out Hilbert’s Program, only to then shatter any hopes of a possible fulfilment of

Semantic Theory of Truth—Formal Aspects

Semantic Theory of Truth—Informal Aspects

TLDR
This chapter outlines an intuitive approach to STT, very closely related to Tarski’s original approach, and heuristics of forming the semantic truth definition via the concept of satisfaction are reported.