Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung @weizsacker-zentrumuniversi3136
Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung  @weizsacker-zentrumuniversi3136
Uploaded October 2020 | Updated September 2026, 2 days ago
Prof. Dr. Reinhard Kahle (Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen): Primzahlen als Herausforderung

Konzeptionelle Herausforderungen für die KI, Workshop auf der Jahrestagung der Gesellschaft für Informatik, INFORMATIK2020

Die neue, auf stastischer Analyse großer Datenmengen aufbauende KI hat eine ganze Reihe von zukunftsträchtigen Erfolgen vorzuwiesen (z.B. zu Bilderkennung; Medizin; selbstfahrende Autos; etc.). Allerdings ist die KI auch kein "Allheilmittel". Man wird von ihr nicht erwarten, z.B. das Haltproblem zu lösen, und wären effiziente Faktorisierungsalgorithmen in ihrer Reichweite, müßte wohl auch das Internetbanking gestoppt werden. In diesem Workshop sollen computationelle Fragestellungen diskutiert werden, für die durch die moderne KI (noch?) keine Lösungsmöglichkeiten zu sehen sind. Im besonderen soll dabei auch der Frage nachgegangen werden, wie u.U. formal gezeigt werden könnte, daß diese Fragestellungen mit KI-Methoden nicht lösbar sind.

Organisiert vom Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen.
Prof. Dr. Reinhard Kahle: Primzahlen als HerausforderungThorsten Altenkirch - Incompleteness in Type Theory (Gödel Conference)Prof. Dr. Paolo Pistone - The garden of forking pathsLorenzo Sauras-Altuzarra - Generalization of Arithmetical Proofs (Gödel Conference)Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)Anela Lolic - Proof Analysis with CERES (Celebrating Gödel Conference)Prof. Dr. Klaus Mainzer: Wie sicher ist KI?Eric Oberheim - Paul Feyerabend: From the Limited Validity of Falsificationism to ‘Anything Goes!’Dr. Maël Pégny: Machine Learning and Privacy: Whats Really New?Harvey Friedman - Gödels Incompleteness Theorems (Gödel Conference)Albrecht Visser - Provability According to Kreisel, Löb, Feferman (Gödel Conference)Prof. Dr. Maximilian Schich (Tallinn University, Estonia): Cultural Analysis Situs
Weizsäcker-Zentrum Universität Tübingen |

Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER