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

    Finland

Profiles

Photo of Annika Kanckos

Annika Kanckos

Person: U3 Research and teaching staff, Teaching and research personnel

20102019
No photo of Tim Lethen

Tim Lethen

Person: Other personnel, M5 Teaching and research support staff

20192019
No photo of Jan von Plato

Jan von Plato

Person: Teaching and research personnel, U4 Research and teaching staff

19912019

Publications

  • 4 Article
  • 1 Conference contribution
  • 1 Review Article

Nominalistic ordinals, recursion on higher types, and finitism

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

The Development of Gödel's ontological Proof

Kanckos, A. & Lethen, T., 15 Nov 2019, In : The Review of Symbolic Logic. p. 1 - 19 19 p.

Research output: Contribution to journalArticleScientificpeer-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. (eds.). World Scientific, Vol. 3. p. 4043-4061 19 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

Research output: Contribution to journalArticleScientificpeer-review

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

von Plato, J., 2018, In : History and Philosophy of Logic. 39, 4, p. 396-403 8 p.

Research output: Contribution to journalReview ArticleScientificpeer-review

Activities

  • 4 Oral presentation
  • 1 Invited talk

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

Tim Lethen (Speaker)
27 Jul 2019

Activity: Talk or presentation typesOral presentation

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

Tim Lethen (Speaker)
25 Oct 2019

Activity: Talk or presentation typesInvited talk

Gödel's notes on constructive foundations of mathematics

Maria Hämeen-Anttila (Speaker)
26 Jul 2019

Activity: Talk or presentation typesOral presentation

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (Speaker)
18 Apr 2018

Activity: Talk or presentation typesOral presentation

Gödel's early impressions of intuitionism

Maria Hämeen-Anttila (Speaker)
7 Aug 2018

Activity: Talk or presentation typesOral presentation

Prizes

Elisabeth and Werner Leinfellner Award

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

Prize: Prizes and awards

Kurt Gödel Gold Medal

Tim Lethen (Recipient), 27 Jul 2019

Prize: Prizes and awards