No photo of Jan von Plato
1991 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1998

    From Kripke models to algebraic counter-valuations

    Negri, S. & von Plato, J., 1998, International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397. p. 247-261 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 2016

    In Search of the Roots of Formal Computation

    von Plato, J., 2016, History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. Gadducci, F. & Tavosanis, M. (eds.). Springer, p. 300-320 21 p. (IFIP Advances in Information and Communication Technology; vol. 487).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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

  • 2019

    What are the axioms for numbers and who invented them?

    von Plato, J., 2019, Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Mras, G. M., Weingartner, P. & Ritter, B. (eds.). de Gruyter, p. 343-356 14 p. (Publications of the Austrian Ludwig Wittgenstein Society – New Series; no. 27).

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