Plans and planning in mathematical proofs

DOI10.1017/S1755020319000601MaRDI QIDQ5027672zbMATH OpenOpenAlexWikidataFDO

Authors Yacin Hamami, Rebecca Morris

Publication date 7 February 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000601

zbMATH Keywords

mathematical practicemathematical proofplanning agencyproof plan

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) Sociology (and profession) of mathematics (01A80) Philosophical and critical aspects of logic and foundations (03A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A science of reasoning: Extended abstract
• scientific article; zbMATH DE number 827983
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 1189094
• scientific article; zbMATH DE number 1980936

Cites work

• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• A fully automatic theorem prover with human-style output
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• And so on \dots : reasoning with infinite diagrams
• Character and object
• Constructive agents
• Explaining deductive inference
• Hodge integrals, partition matrices, and the _g conjecture
• How to write a 21\(^{\text{st}}\) century proof
• How to Write a Proof
• scientific article; zbMATH DE number 2130678 (Why is no real title available?)
• scientific article; zbMATH DE number 3165516 (Why is no real title available?)
• scientific article; zbMATH DE number 4072439 (Why is no real title available?)
• scientific article; zbMATH DE number 1748585 (Why is no real title available?)
• scientific article; zbMATH DE number 1868661 (Why is no real title available?)
• scientific article; zbMATH DE number 3248033 (Why is no real title available?)
• scientific article; zbMATH DE number 3090127 (Why is no real title available?)
• scientific article; zbMATH DE number 3090128 (Why is no real title available?)
• scientific article; zbMATH DE number 3099224 (Why is no real title available?)
• Mathematical inference and logical inference
• Mathematical method and proof
• Modularity in mathematics
• Motivated proofs: what they are, why they matter and how to write them
• Polynomial diffeomorphisms of \(\mathbb{C}^2\). VI: Connectivity of \(J\)
• Productive use of failure in inductive proof
• Rippling: Meta-Level Guidance for Mathematical Reasoning
• Structuring Mathematical Proofs
• The epistemic significance of valid inference
• The OYSTER-CLAM system
• Why Do We Prove Theorems?

Cited in

(8)

• Proof planning with multiple strategies
• Reliability of mathematical inference
• scientific article; zbMATH DE number 1189094 (Why is no real title available?)
• A Computational Framework For Understanding Mathematical Discoursexy
• scientific article; zbMATH DE number 1748584 (Why is no real title available?)
• scientific article; zbMATH DE number 1926636 (Why is no real title available?)
• A science of reasoning: Extended abstract
• Instructions and constructions in set theory proofs

Describes a project that uses

Uses Software

• Oyster
• CLAM

This page was built for publication: Plans and planning in mathematical proofs

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