The Logical Structure of Computer-Aided Mathematical Reasoning
From MaRDI portal
Publication:4373335
artificial intelligencesituation calculusphilosophy of mathematicsheuristic methodscomputer-aided proofscommon sense reasoninglogic of mathematical discovery
General applied mathematics (00A69) Philosophical and critical aspects of logic and foundations (03A05) Mathematics in general (00A05) Methodology of mathematics (00A35) Logic in artificial intelligence (68T27) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Philosophy of mathematics (00A30)
Recommendations
- scientific article; zbMATH DE number 3860434
- scientific article; zbMATH DE number 218497
- Publication:4205404
- Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
- scientific article; zbMATH DE number 3907807
- scientific article; zbMATH DE number 4115950
- The parallel structure of mathematical reasoning
- The application of automated reasoning to questions in mathematics and logic
Cited in
(8)- Conceptual and computational mathematics
- Mathematical reasoning vs. abductive reasoning: A structural approach
- scientific article; zbMATH DE number 3907807 (Why is no real title available?)
- Computers as a novel mathematical reality. I: A personal account
- scientific article; zbMATH DE number 4115950 (Why is no real title available?)
- Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
- Inequalities for the perimeter of an ellipse
- Mathematical reasoning and the computer
This page was built for publication: The Logical Structure of Computer-Aided Mathematical Reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373335)
