Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Organisaation profiili
Tieteenalat
- 611 Filosofia
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Profiilit
-
Maria Hämeen-Anttila
- Tutkimuspalvelut - asiantuntija
- Teoreettinen filosofia
- Gödeliana
Henkilö: M4 Hallintohenkilöstö
-
Annika Kanckos
- Filosofian, historian ja taiteiden tutkimuksen osasto - Dosenttisopimus, dosentuuri
- Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma - Ohjaaja tohtoriohjelmassa
- Filosofia (opetus ruotsiksi)
- Gödeliana
Henkilö: Opetus- ja tutkimushenkilöstö
-
Jan von Plato
- Filosofian, historian ja taiteiden tutkimuksen osasto - Prof. emer.
- Filosofian, taiteiden ja yhteiskunnan tutkimuksen tohtoriohjelma - Ohjaaja tohtoriohjelmassa
- Filosofia (opetus ruotsiksi)
- Gödeliana
Henkilö: HY, Opetus- ja tutkimushenkilöstö
Tutkimustuotos
-
90 Years of Gödel’s Incompleteness Theorems: Historical and Philosophical Perspectives
Baaz, M., Ertel, M., Kahle, R., Piecha, T. & von Plato, J., 30 syysk. 2025, julkaisussa: History and Philosophy of Logic. 46, 4, s. 471-473 3 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen
Open accessTiedosto -
Gentzen's overview of calculi and reductions in consistency proofs
von Plato, J., 11 marrask. 2025, julkaisussa: Bulletin of Symbolic Logic. 31, 3, s. 385-417 33 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
Gödel, Gentzen, and Constructive Consistency Proofs
Hämeen-Anttila, M., 2 lokak. 2025, julkaisussa: History and Philosophy of Logic. 46, 4, s. 509-524 16 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Gödel's first proof of the consistency of the axiom of choice
Kanamori, A. & von Plato, J., 6 syysk. 2025, julkaisussa: History and Philosophy of Logic. 46, s. 498-508 11 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Gödel's modal interpretation of intuitionistic logic and its proof theory
von Plato, J., jouluk. 2025, julkaisussa: Monatshefte für Mathematik. 208, 4, s. 791-817 27 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Tieteellisen komitean jäsen)
11 elok. 2022Aktiviteetti: 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. 2022Aktiviteetti: 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. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Hämeen-Anttila, M. (Puhuja)
12 marrask. 2021Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Kurt Gödel und das Psychologische Institut: Die Geschichte einer Annäherung
Lethen, T. (Puhuja)
4 helmik. 2021Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Palkinnot
-
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