The Logical Structure of Computer-Aided Mathematical Reasoning

DOI10.2307/2975057zbMATH Open0891.00001OpenAlexW4234615591MaRDI QIDQ4373335FDOQ4373335

Authors: Keith Devlin 

Publication date: 12 July 1998

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2975057

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

zbMATH Keywords

artificial intelligencesituation calculusphilosophy of mathematicsheuristic methodscomputer-aided proofscommon sense reasoninglogic of mathematical discovery

Mathematics Subject Classification ID

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)

Cited In (8)

• Conceptual and computational mathematics
• Mathematical reasoning vs. abductive reasoning: A structural approach
• Title not available (Why is that?)
• Computers as a novel mathematical reality. I: A personal account
• Title not available (Why is that?)
• Inequalities for the perimeter of an ellipse
• Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
• Mathematical reasoning and the computer

Uses Software

• Mathematica

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)