Formalisation vs. Understanding

DOI10.1007/978-3-319-21819-9_22zbMath1465.68306OpenAlexW2435505789MaRDI QIDQ2945576

Declan Thompson

Publication date: 14 September 2015

Published in: Unconventional Computation and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21819-9_22

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Incompleteness, Undecidability and Automated Proofs

Uses Software

• Isabelle

Cites Work

• Unnamed Item
• Formal Proof: Reconciling Correctness and Understanding
• Mechanising Turing Machines and Computability Theory in Isabelle/HOL

This page was built for publication: Formalisation vs. Understanding