Inget foto av Jan von Plato
  • PL 24 (Unioninkatu 40)

    00014

    Finland

1991 …2020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.
Filter
Konferensbidrag

Sökresultat

  • 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. s. 247-261 15 s.

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

  • 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. (red.). Springer, s. 300-320 21 s. (IFIP Advances in Information and Communication Technology; vol. 487).

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

  • 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. (red.). World Scientific, Vol. 3. s. 4043-4061 19 s.

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

  • 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. (red.). de Gruyter, s. 343-356 14 s. (Publications of the Austrian Ludwig Wittgenstein Society – New Series; nr. 27).

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig