Ei valokuvaa Jan von Plato
1991 …2022

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
Suodatin
Konferenssiartikkeli

Hakutulokset

  • Konferenssiartikkeli

    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 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 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. (toim.). Springer, s. 300-320 21 Sivumäärä (IFIP Advances in Information and Communication Technology; Vuosikerta 487).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 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. (toim.). World Scientific, Vuosikerta 3. s. 4043-4061 19 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen