Gödeliana

PostiosoiteNäytä kartalla
Filosofian, historian ja taiteiden tutkimuksen laitos, PL 24, 00014 Helsingin yliopisto
Suomi

90 years of Gödel’s incompleteness theorems: Logic and computation
von Plato, J., Baez, M., Ertel, M., Kahle, R. & Piecha, T., 28 toukok. 2024, julkaisussa: Journal of Logic and Computation. 34, s. 1-7 7 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
On the proof theory of apodictic syllogistic
von Plato, J. & Antonelli, M., elok. 2024, Advances in Modal Logic. Ciabattoni, A., Gabelaia, D. & Sedlar, I. (toim.). College publications, Vuosikerta 15. s. 101-123 23 Sivumäärä
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
Paul Bernays
von Plato, J., 2024, Neue Deutsche Biographie.
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen

Open access
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness
von Plato, J., maalisk. 2024, Cham: Springer Nature Switzerland AG. 316 Sivumäärä (Vienna Circle institute Library; Vuosikerta 9)
Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
The exact correspondence between intuitionistic and modal logic (Extended abstract)
von Plato, J., elok. 2024, Advances in Modal Logic 2024: Short Papers. University of Helsinki, s. 45-50 6 Sivumäärä
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Ammatillinen

Open access
Tiedosto

5 Suullinen esitys
4 Kutsuesitelmä
3 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Tieteellisen komitean jäsen)
11 elok. 2022
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
The philosophical roots of mathematical logic
Kanckos, A. (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
What philosophy is for me?
Välikangas, A. (Järjestäjätoimikunnan puheenjohtaja), Hämeen-Anttila, M. (Puhuja: esitelmän pitäjä), Kokkonen, T. (Puhuja: esitelmän pitäjä), Martikainen, J. S. (Puhuja: esitelmän pitäjä), Tanninen, T. (Puhuja: esitelmän pitäjä) & Telakivi, P. (Puhuja: esitelmän pitäjä)
27 huhtik. 2022
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
Kurt Gödel und das Psychologische Institut: Die Geschichte einer Annäherung
Lethen, T. (Puhuja)
4 helmik. 2021
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Hämeen-Anttila, M. (Puhuja)
12 marrask. 2021
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä

Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, M. (Vastaanottaja), 6 elok. 2018
Palkinto: Palkinnot ja kunnianosoitukset
Kurt Gödel Gold Medal
Lethen, T. (Vastaanottaja), 27 heinäk. 2019
Palkinto: Palkinnot ja kunnianosoitukset

Organisaation profiili