Forskningsresultat per år
Forskningsresultat per år
- 4 resultat
Sökresultat
-
Konferensbidrag
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/konferenshandling › Konferensbidrag › Vetenskaplig › Peer 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/konferenshandling › Konferensbidrag › Vetenskaplig › Peer 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/konferenshandling › Konferensbidrag › Vetenskaplig
-
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/konferenshandling › Konferensbidrag › Vetenskaplig