nLab
Klaus Mainzer

Selected writings

Selected writings

On formal proof and software verification:

  • Klaus Mainzer, Proof and Computation. Perspectives for Mathematics, Computer Science, and Philosophy (doi:10.1142/9789813270947_0001), Chapter 1 in Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg (eds.) Proof and Computation – Digitization in Mathematics, Computer Science, and Philosophy, World Scientific 2018 (doi:10.1142/11005)

with highlighting of homotopy type theory:

  • Klaus Mainzer, From Proof Theory to Proof Assistants – Challenges of Responsible Software and AI, talk at Arbeitstagung Bern-München, ABM Spring 2019 (pdf, pdf)

  • Klaus Mainzer, Proof and Computation. Perspectives for Mathematics, Computer Science, and Philosophy, Chapter 1 in: Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg (eds.), Proof and Computation II – From Proof Theory and Univalent Mathematics to Program Extraction and Verification, World Scientific 2021 (doi:10.1142/12263)

category: people

Last revised on May 12, 2021 at 06:05:19. See the history of this page for a list of all contributions to it.