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.
The participation is free.
The workshop is supported by the Kurt Gödel Freundeskreis Berlin.
|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: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)|
|13:30-14:30:||Prof. Dr. Jan von Plato, Gödel's Incompleteness Theorems in the Light of his Shorthand Notebooks (Abstract)|
|15:00-16:00:||Dr. Oliver Passon, Imcompleteness and Quantum Theory (Abstract)|
|16:30-17:30:||Prof. Dr. Christoph Benzmüller, What Kind of Ultrafilter is Gödel's God? (Abstract)|
|17:30-18:00:||Concluding Discussion, Further Activities (Berlin Gödel Award)|
The event is supported by the Department of Mathematics and Computer Science of FU Berlin, the Institute of Computer Science of FU Berlin, the Berlin Mathematics Research Center MATH+ and the Kurt Gödel Freundeskreis Berlin
27.02.2019 | 08:45 c.t. - 19:00
SR 006, Takustr. 9, 14195 Berlin