Christoph Benzmüller – författare

This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019.

The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.

* The conference was held virtually due to the COVID-19 pandemic.

The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.

Die Autorinnen und Autoren präsentieren in diesem Buch Argumente, die die Unmöglichkeit des Reduktionismus aus philosophischer, naturwissenschaftlicher bzw. mathematisch-logischer Perspektive zu begründen suchen. Der Reduktionismus behauptet, dass Eigenschaften auch von komplexen Systemen (bis hin zu Lebensvorgängen und menschlichem Bewusstsein) vollständig auf ihre Bestandteile zurückgeführt werden können. Diese Position ist einflussreich, aber umstritten. Im Jahr 2019 hat der Kurt Gödel Freundeskreis einen Essaywettbewerb veranstaltet, um schlagende Argumente gegen den Reduktionismus zu finden.  Unter den internationalen Teilnehmern waren neben weltweit führenden Forschern auch Wissenschaftler, die noch am Beginn ihrer Kariere stehen. Dieser Band versammelt die Beiträge der Preisträger und weitere ausgewählte Aufsätze.

Aus dem Inhalt:

·        Kausalität als antireduktionistisches Hausmittel  – Martin Breul

·        Reduktionismus im Diskurs  – Hanna Hueske

·        Monads, Types, and Branching Time – Kurt Gödel’s approach towards a theory of the soul  – Tim Lethen

·        The limits of reductionism: thought, life, and reality – Jesse M. Mulder

·        True or Rational? A Problem for a Mind-Body Reductionist – Michał Pawłowski

·        Why reductionism does not work – George F. R. Ellis

·        Physik ohne Reduktion  –  Rico Gutschmidt

·        Is there an Axiom for everything? –  Jean-Yves Béziau

·        Unerklärliche Wahrheiten  –  Marco Hausmann

·        Gödel, mathematischer Realismus und Antireduktionismus  –  Reinhard Kahle