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

    Finland

Personer

Foto av Annika Kanckos

Annika Kanckos

Person: U3 Undervisnings- och forskningspersonal, undervisnings- och forskningspersonal

20102019
Inget foto av Tim Lethen

Tim Lethen

Person: Annan personal, M5 Stödspersonal for undervisning och forskning

20192020
Inget foto av Jan von Plato

Jan von Plato

Person: undervisnings- och forskningspersonal, U4 Undervisnings- och forskningspersonal

19912019

Publikationer

  • 5 Artikel
  • 1 Konferensbidrag
  • 1 Översiktsartikel

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

Lethen, T., 19 jun 2020, I : History and Philosophy of Logic.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Nominalistic ordinals, recursion on higher types, and finitism

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

The Development of Gödel's ontological Proof

Kanckos, A. & Lethen, T., 15 nov 2019, I : The Review of Symbolic Logic. s. 1 - 19 19 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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/konferenshandlingKonferensbidragVetenskaplig

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, I : Bulletin of Symbolic Logic. 24, 3, s. 319-335 17 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Aktiviteter

  • 4 !!Oral presentation
  • 1 !!Invited talk

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

Tim Lethen (!!Speaker)
27 jul 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

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

Tim Lethen (!!Speaker)
25 okt 2019

Aktivitet: Typer för tal eller presentation!!Invited talk

Gödel's notes on constructive foundations of mathematics

Maria Hämeen-Anttila (!!Speaker)
26 jul 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (!!Speaker)
18 apr 2018

Aktivitet: Typer för tal eller presentation!!Oral presentation

Gödel's early impressions of intuitionism

Maria Hämeen-Anttila (!!Speaker)
7 aug 2018

Aktivitet: Typer för tal eller presentation!!Oral presentation

Priser

Elisabeth and Werner Leinfellner Award

Maria Hämeen-Anttila (!!Recipient), 6 aug 2018

Pris: Pris och hedersbetygelser

Kurt Gödel Gold Medal

Tim Lethen (!!Recipient), 27 jul 2019

Pris: Pris och hedersbetygelser