The Logical Structure of Computer-Aided Mathematical Reasoning

DOI10.2307/2975057zbMath0891.00001OpenAlexW4234615591MaRDI QIDQ4373335

Keith J. 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

zbMATH Keywords

artificial intelligencephilosophy of mathematicssituation calculusheuristic methodscomputer-aided proofscommon sense reasoninglogic of mathematical discovery

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) General applied mathematics (00A69) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Methodology of mathematics (00A35) Mathematics in general (00A05)

Related Items (1)

Inequalities for the perimeter of an ellipse

Uses Software

• Mathematica

This page was built for publication: The Logical Structure of Computer-Aided Mathematical Reasoning