EssaysForStudent.com - Free Essays, Term Papers & Book Notes
Search

Herbrands’s Theorem

By:   •  Essay  •  263 Words  •  November 30, 2009  •  808 Views

Page 1 of 2

Essay title: Herbrands’s Theorem

Herbrand’s Theorem

Automated theorem proving has two goals: (1) to prove theorems and (2) to do it automatically. Fully automated theorem provers for first-order logic have been developed, starting in the 1960’s, but as theorems get more complicated, the time that theorem provers spend tends to grow exponentially. As a result, no really interesting theorems of mathematics can be proved this way- the human life span is not long enough.

Therefore a major problem is to prove interesting theorems and the solution is to give the theorem provers heuristics, rules of thumb for knowledge and wisdom. Some heuristics are fairly general, for example, in a proof that is about t break into several cases do as much as possible that will be of broad applicability before the division into cases occurs. But many heuristics are area-specific; for instance, heuristics appropriate for plane geometry will probably not be appropriate for group theory. The development of good heuristics is a major area of research and requires

Continue for 1 more page »  •  Join now to read essay Herbrands’s Theorem and other term papers or research documents
Download as (for upgraded members)
txt
pdf
Citation Generator

(2009, 11). Herbrands’s Theorem. EssaysForStudent.com. Retrieved 11, 2009, from https://www.essaysforstudent.com/essays/Herbrandss-Theorem/17003.html

"Herbrands’s Theorem" EssaysForStudent.com. 11 2009. 2009. 11 2009 <https://www.essaysforstudent.com/essays/Herbrandss-Theorem/17003.html>.

"Herbrands’s Theorem." EssaysForStudent.com. EssaysForStudent.com, 11 2009. Web. 11 2009. <https://www.essaysforstudent.com/essays/Herbrandss-Theorem/17003.html>.

"Herbrands’s Theorem." EssaysForStudent.com. 11, 2009. Accessed 11, 2009. https://www.essaysforstudent.com/essays/Herbrandss-Theorem/17003.html.