Kurt Gödel: Philosophical Views

Workshop and Blockseminar, Dep. of Mathematics and Computer Science, FU Berlin


Workshop (Feb 27)

Organization: Prof. Dr. Christoph Benzmüller (FU Berlin & U Luxembourg)


On Januar 14, 1978, Kurt Gödel, one of the greatest logicians of all times passed away. Today, nearly half a century later, we have still not exhaustively explored, discussed and conclusively assessed all of Gödel's visionary ideas. With this informal, one-day workshop we provide a forum for interested scientists from various disciplines to meet and discuss unexplored aspects in Gödel's work. A particular focus will be on his philosophical views.

Room: T9/SR 006, Institut für Informatik, Takustr. 9, 14095 Berlin
Workshop participation is free.

Workshop Programm: Wednesday, February 27

09:15-09:30: Welcome and introduction
09:30-10:30: Prof. Dr. Eva-Maria Engelen (Konstanz)
Kurt Gödel's ›Maxims Philosophy‹. An Overview
10:30-11:00: Coffee
11:00-12:00: Prof. Dr. Srećko Kovač (Zagreb)
Evidence, Modalities, and Causation in Gödel's Formal Philosophy
12:00-13:30: Lunch
13:30-14:30: Prof. Dr. Jan von Plato (Helsinki)
Gödel's Incompleteness Theorems in the Light of his Shorthand Notebooks
14:30-15:00: Coffee
15:00-16:00: Dr. Oliver Passon (Wuppertal)
Incompleteness and Quantum Theory
16:00-16:30: Coffee
16:30-17:30: Prof. Dr. Christoph Benzmüller (Berlin)
What Kind of Ultrafilter is Gödel's God?
17:30-18:00: Concluding Discussion, Further Activities (Berlin Gödel Award)


The workshop is supported by the Kurt Gödel Freundeskreis Berlin and the Institute of Informatics of FU Berlin.




Blockseminar (Feb 26, Feb 28, Mar 1)

Organisers: Prof. Dr. Christoph Benzmüller (FU Berlin) and Prof. Dr. Srećko Kovač (IPh Zagreb)

Students from FU Berlin present and discuss selected works of Kurt Gödel.

Room: T9/SR 006, Institut für Informatik, Takustr. 9, 14095 Berlin
Seminar participation is free.

Student Teams and their Supervisors:

  Team-1 (Benzmüller): Sandra Takano, Nadja Suleiman
  Team-2 (Kovač): Jakob Krause
  Team-3 (Benzmüller): Hannah Marie Troppens, Valeria Zahoransky, Robert Munteanu, Hamy Pham
  Team-4 (Kovač): Laura Jasmin Witt, Manuel Heurich, Jessica Lynn Concepcion, Cedric Laier
  Team-5 (Benzmüller): Irina Makarenko, Leon Dirmeier
  Team-6 (Benzmüller/Passon/Kovač): Thomas Harms, Filip Tolovski
  Team-7 (Benzmüller/Kovač): Alexander Zachrau, NN

  Not yet assigned: Julian Petrasch (could join Team-6 or Team-7; please contact C. Benzmüller)

Teamwork idea: The student teams jointly prepare a concept and respective structure for the different presentations on their topic (see the topics below); they also search the relevant literature, etc. In larger groups one student may e.g. concentrate on technical background, one or two on the actual contributions by Gödel, and another one on implications. The team concepts and the suggested presentation structures are discussed and finalised in interaction with the respective supervisor. In the second phase the students then work primarily on their individual presentations. Regular interaction with the other students from the same team (and eventually some other teams) is nevertheless required to ensure that the presentations well interact with each other. In the final week the focus is on final improvements of the individual presentations.

Suggested Deadlines:

  December 15, 2018: Coarse presentation concepts.
  January 28, 2019: Detailed presentation drafts by each student.
  February 20, 2019: Presentation slides in pre-final version by each student.



Tuesday, February 26

  09:00-09:15: Welcome and Introduction
  09:15-10:00: (Team-4) Life of Gödel -- Part I
  10:00-10:45: (Team-1) Life of Gödel -- Part II
  10:45-11:15: Break
  11:15-12:00: (Team-2) Completeness and Implications
  12:00-13:30: Lunch
  13:30-14:15: (Team-3) Incompleteness, provability and implications -- Part I
  14:15-15:00: (Team-3) Incompleteness, provability and implications -- Part II
  15:00-15:30: Break
  15:30-16:00: (Team-3) Incompleteness, provability and implications -- Part III
  16:00-16:45: (Team-3) Incompleteness, provability and implications -- Part IV

Wednesday, February 27

  Gödel-Workshop; see above

Thursday, February 28

  09:00-09:15: Welcome
  09:15-10:00: (Team-4) Gödel's general philosophical viewpoints -- Part I
  10:00-10:45: (Team-4) Gödel's general philosophical viewpoints -- Part II
  10:45-11:15: Break
  11:15-12:00: (Team-4) Gödel's general philosophical viewpoints -- Part III
  12:00-12:45: (Team-4) Gödel's general philosophical viewpoints -- Part IV
  12:45-14:00: Lunch
  14:00-14:45: (Team-5) Intuitionistic versus Classical Logic -- Part I
  14:45-15:30: (Team-5) Intuitionistic versus Classical Logic -- Part II

Friday, March 1

  09:00-09:15: Welcome
  09:15-10:00: (Team-6) Gödel's notion of time -- Part I
  10:00-10:45: (Team-6) Gödel's notion of time -- Part II
  10:45-11:15: Break
  11:15-12:00: (Team-7) Gödel's ontological argument -- Part I
  12:00-12:45: (Team-7) Gödel's ontological argument -- Part II
  12:45-13:15: Reflection and end of Workshop


C. Benzmüller (Last modified: Tue Jan 22 12:37:35 CET 2019 )