## Strategic Computation and Deduction (2009)

Citations: | 4 - 3 self |

### BibTeX

@MISC{Kirchner09strategiccomputation,

author = {Claude Kirchner and Florent Kirchner and Hélène Kirchner and Peter B. Andrews},

title = {Strategic Computation and Deduction},

year = {2009}

}

### OpenURL

### Abstract

I'd like to conclude by emphasizing what a wonderful eld this is to work in. Logical reasoning plays such a fundamental role in the spectrum of intellectual activities that advances in automating logic will inevitably have a profound impact in many intellectual disciplines. Of course, these things take time. We tend to be impatient, but we need some historical perspective. The study of logic has a very long history, going back at least as far as Aristotle. During some of this time not very much progress was made. It's gratifying to realize how much has been accomplished in the less than fty years since serious e orts to mechanize logic began.