No photo of Jan von Plato
  • PL 24 (Unioninkatu 40)

    00014

    Finland

1991 …2018
If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 611 Philosophy

Publications 1991 2018

In search of the sources of incompleteness

von Plato, J., 2018, Proceedings of the International Congress of Mathematicians 2018. Sirakov, B., Ney de Souza, P. & Viana, M. (eds.). World Scientific, Vol. 3. p. 4043-4061 19 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction

von Plato, J., 2018, In : Bulletin of Symbolic Logic. 24, 3, p. 319-335 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Logic Lectures: Gödel's Basic Logic Course at Notre Dame [Book review]

von Plato, J., 2018, In : History and Philosophy of Logic. 39, 4, p. 396-403 8 p.

Research output: Contribution to journalReview ArticleScientificpeer-review

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.) [Book review]

von Plato, J., 2018, In : Mathematical Intelligencer. 40, 2, p. 82-84 3 p.

Research output: Contribution to journalReview ArticleScientificpeer-review