• Filosofian, historian ja taiteiden tutkimuksen laitos, PL 24, 00014 Helsingin yliopisto

    Suomi

Henkilöt

Valokuva Annika Kanckos

Annika Kanckos

Henkilö: U3 Opetus- ja tutkimushenkilöstö, Opetus- ja tutkimushenkilöstö

20102019
Ei valokuvaa Tim Lethen

Tim Lethen

Henkilö: Muu henkilöstö, M5 Opetuksen ja tutkimuksen tukihenkilöstö

20192020
Ei valokuvaa Jan von Plato

Jan von Plato

Henkilö: Opetus- ja tutkimushenkilöstö, U4 Opetus- ja tutkimushenkilöstö

19912019

Julkaisut

  • 5 Artikkeli
  • 1 Konferenssiartikkeli
  • 1 Katsausartikkeli

Kurt Gödel's Anticipation of the Turing Machine. A Vitalistic Approach

Lethen, T., 19 kesäkuuta 2020, julkaisussa : History and Philosophy of Logic.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Nominalistic ordinals, recursion on higher types, and finitism

Hämeen-Anttila, M., 2019, julkaisussa : Bulletin of Symbolic Logic. 25, 1, s. 101-124 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

The Development of Gödel's ontological Proof

Kanckos, A. & Lethen, T., 15 marraskuuta 2019, julkaisussa : The Review of Symbolic Logic. s. 1 - 19 19 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

Aktiviteetit

  • 4 Suullinen esitys
  • 1 Kutsuesitelmä

Gödel's notes on constructive foundations of mathematics

Maria Hämeen-Anttila (Puhuja)
26 heinäkuuta 2019

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Kurt Gödel's Notebooks on the Foundations of Quantum Mechanics

Tim Lethen (Puhuja)
27 heinäkuuta 2019

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Dogmas and Demons: Kurt Gödel's theological notes

Tim Lethen (Puhuja)
25 lokakuuta 2019

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (Puhuja)
18 huhtikuuta 2018

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Gödel's early impressions of intuitionism

Maria Hämeen-Anttila (Puhuja)
7 elokuuta 2018

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Palkinnot

Elisabeth and Werner Leinfellner Award

Maria Hämeen-Anttila (Vastaanottaja), 6 elokuuta 2018

Palkinto: Palkinnot ja kunnianosoitukset

Kurt Gödel Gold Medal

Tim Lethen (Vastaanottaja), 27 heinäkuuta 2019

Palkinto: Palkinnot ja kunnianosoitukset