Talk by Klaus Mainzer (LTCS)

Short Title: 
Talk by Klaus Mainzer
Event Date(s): 
Thursday, 3. May 2018 - 10:15 to 11:30

Room A097, ExWi, Sidlerstrasse 5, 3012 Bern

Prof. Dr. Klaus Mainzer (Technische Universität München)

Proof, Trust and Computation: Mathematical Foundations and Societal Impact

The digitalized world needs efficient and reliable algorithms to solve problems in economy and society. Trust and security can only be guaranteed by constructive proofs. Therefore, applied mathematics and computer science should be combined with foundational research of logic and proof theory. Foundational research in proof mining, program extraction, and reverse mathematics is following this line. These foundational programs stand in elder philosophical traditions of constructive and intuitionistic mathematics. Current foundational programs (e.g., HoTT) are inspired by the idea of a proof-checking software to guarantee trust and security in mathematics. These are not only theoretical demands. They are deeply connected with great challenges of our digitalized world: Current AI-technology (e.g., machine learning, autonomous car driving, and financial mathematics) also needs more explainability and provability, in order to improve trust, reliability and security in society.

References: K. Mainzer, Wie berechenbar ist unsere Welt. Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung (Reihe Essentials), Springer 2018; K. Mainzer, P. Schuster, H. Schwichtenberg (Eds.), Proof-Computation-Digitalization in Mathematics, Computer Science, and Philosophy, World Scientific Singapore 2018 (forthcoming).