Jan von Plato

Person

Latest publications

  1. Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations

    von Plato, J., 28 Jun 2018, In : Indagationes Mathematicae. 29, 6, p. 1546-1554 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  2. Accepted/In press

    From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

    Negri, S. & von Plato, J., 2018, (Accepted/In press) In : Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 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

View all (74) »

ID: 62188