27 Feb 2019
Berlin, Germany
============================= Kurt Goedel: Philosophical Views Workshop (Feb 27, 2019) at FU Berlin ============================= On Januar 14, 1978, Kurt Goedel, one of the greatest logicians of all times passed away. Today, 50 years later, we have still not exhaustively explored, discussed and conclusively assessed all of Goedel'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 Goedel's work. A particular focus will be on his philosophical views. Website: http://www.christoph-benzmueller.de/2019-Goedel Organization: Prof. Dr. Christoph Benzmueller <http://www.christoph-benzmueller.de/> 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 <http://www.bbaw.de/die-akademie/mitarbeiter/engelen> (Konstanz) *Kurt Gödel's ?Maxims Philosophy?. An Overview* 10:30-11:00: *Coffee* 11:00-12:00: Prof. Dr. Sre?ko Kova? <https://content.ifzg.hr/~skovac/index_files/Page328.html> (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 <http://www.helsinki.fi/~vonplato/> (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 <https://www.physikdidaktik.uni-wuppertal.de/arbeitsgruppe/dr-oliver-passon.html> (Wuppertal) *Incompleteness and Quantum Theory* 16:00-16:30: *Coffee* 16:30-17:30: Prof. Dr. Christoph Benzmüller <http://www.christoph-benzmueller.de/> (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. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam