Ascertaining Mathematical Theorems | Zendy

Roy McCasland | Zendy; Alan Bundy | Zendy; Patrick F. Smith | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Ascertaining Mathematical Theorems

Author(s) -

Roy McCasland,

Alan Bundy,

Patrick F. Smith

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.11.021

Subject(s) - terminology , statement (logic) , computer science , order (exchange) , type (biology) , word (group theory) , calculus (dental) , algebra over a field , mathematics , linguistics , pure mathematics , philosophy , medicine , dentistry , ecology , finance , economics , biology

Whereas to most logicians, the word “theorem” refers to any statement which has been shown to be true, to mathematicians, the word “Theorem” is, relatively speaking, rarely applied, and denotes something far more special. In this paper, we examine some of the underlying reasons behind this difference in terminology, and we show how this discrepancy might be exploited, in order to build a computer system which automatically selects the latter type of “Theorems” from amongst the former. Indeed, we have begun building the automated discovery system MATHsAiD, the design of which is based upon our research. We provide some preliminary results produced by this system, and compare these results to Theorems appearing in various mathematics textbooks

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research