The Nature of Theorem Proving

Part of the Undergraduate Topics in Computer Science book series (UTICS)


Chapter 15 discusses the nature of proof and theorem proving and considers the history of theorem proving from the development of the Logic Theorist theorem prover in 1956. We discuss automated and interactive theorem provers; the nature of mathematical proof and formal mathematical proof; and a selection of existing theorem provers.


  1. 1.
    D. MacKensie, The automation of proof. IEEE a historical and sociological exploration. Ann. Hist. Comput. 17(3) (1995)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.SQC ConsultingMallow, County CorkIreland

Personalised recommendations