On January 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.
The participation is free.
The workshop is supported by the Kurt Gödel Freundeskreis Berlin.
Programm
| 08:45-09:00: | Welcome and introduction |
| 09:00-10:00: | Prof. Dr. Eva-Maria Engelen, Kurt Gödel's ›Maxims Philosophy‹. An Overview (Abstract) |
| 10:00-10:30: | Coffee |
| 10:30-11:30: | Prof. Dr. Srećko Kovač, Evidence, Modalities, and Causation in Gödel's Formal Philosophy (Abstract) |
| 11:30-12:00 | Dr. Emil Weydert, Kurt Gödel and the Foundations of Set Theory (Abstract) |
| 12:00-13:30: | Lunch |
| 13:30-14:30: | Prof. Dr. Jan von Plato, Gödel's Incompleteness Theorems in the Light of his Shorthand Notebooks (Abstract) |
| 14:30-15:00: | Coffee |
| 15:00-16:00: | Dr. Oliver Passon, Imcompleteness and Quantum Theory (Abstract) |
| 16:00-16:30: | Coffee |
| 16:30-17:30: | Prof. Dr. Christoph Benzmüller, What Kind of Ultrafilter is Gödel's God? (Abstract) |
| 17:30-17:50: | Further Planned Activities: Berlin Gödel Award - Short Presentation by René Talbot. |
| 17:50-18:15: |
Final Discussion |
The event is supported by the Department of Mathematics and Computer Science of FU Berlin, the Institute of Computer Science of FU Berlin and the Berlin Mathematics Research Center MATH+.
Zum Pressebericht.
Zeit & Ort
27.02.2019 | 08:45 c.t. - 19:00
SR 006, Takustr. 9, 14195 Berlin