Ei valokuvaa: Jan von Plato
  • PL 24 (Unioninkatu 40)

    00014

    Suomi

1991 …2018
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Keywords

  • 611 Filosofia

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction

von Plato, J., 2018, julkaisussa : Bulletin of Symbolic Logic. 24, 3, s. 319-335 17 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Logic Lectures: Gödel's Basic Logic Course at Notre Dame [Book review]

von Plato, J., 2018, julkaisussa : History and Philosophy of Logic. 39, 4, s. 396-403 8 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.) [Book review]

von Plato, J., 2018, julkaisussa : Mathematical Intelligencer. 40, 2, s. 82-84 3 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu