Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school ``Proof and computation, Fischbachau, Germany, October 3--8, 2016

DOI10.1142/11005MaRDI QIDQ4582990zbMATH OpenOpenAlexFDO

Authors

Publication date 27 August 2018

Full work available at URL https://doi.org/10.1142/11005

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) Other constructive mathematics (03F65) Computability and recursion theory (03Dxx)

Recommendations

• Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation, September 20--26, 2019
• The Digital and the Real World
• Proofs and algorithms. An introduction to logic and computability
• Proofs and computations
• From mathesis universalis to provability, computability, and constructivity

Cited in

(2)

• From mathesis universalis to provability, computability, and constructivity
• Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation, September 20--26, 2019

This page was built for publication: Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school ``Proof and computation, Fischbachau, Germany, October 3--8, 2016

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4582990)