The Logical Structure of Computer-Aided Mathematical Reasoning

From MaRDI portal

DOI10.2307/2975057MaRDI QIDQ4373335zbMATH OpenOpenAlexFDO

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


zbMATH Keywords

artificial intelligencecommon sense reasoningcomputer-aided proofsheuristic methodslogic of mathematical discoveryphilosophy of mathematicssituation calculus

Mathematics Subject Classification ID

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




Recommendations



Cited in
(8)


Describes a project that uses

Uses Software






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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=The_Logical_Structure_of_Computer-Aided_Mathematical_Reasoning&oldid=89393750"
Powered by MediaWiki