Welcome to the InfoSci Platform
Logic and Proof in Computer Science: Categories and Limits of Proof Techniques

Logic and Proof in Computer Science: Categories and Limits of Proof Techniques

John W. Coffey
Copyright: © 2018 |Pages: 23
ISBN13: 9781522524434|ISBN10: 1522524436|EISBN13: 9781522524441
DOI: 10.4018/978-1-5225-2443-4.ch007
Cite Chapter Cite Chapter

MLA

Coffey, John W. "Logic and Proof in Computer Science: Categories and Limits of Proof Techniques." Philosophical Perceptions on Logic and Order, edited by Jeremy Horne, IGI Global, 2018, pp. 218-240. https://doi.org/10.4018/978-1-5225-2443-4.ch007

APA

Coffey, J. W. (2018). Logic and Proof in Computer Science: Categories and Limits of Proof Techniques. In J. Horne (Ed.), Philosophical Perceptions on Logic and Order (pp. 218-240). IGI Global. https://doi.org/10.4018/978-1-5225-2443-4.ch007

Chicago

Coffey, John W. "Logic and Proof in Computer Science: Categories and Limits of Proof Techniques." In Philosophical Perceptions on Logic and Order, edited by Jeremy Horne, 218-240. Hershey, PA: IGI Global, 2018. https://doi.org/10.4018/978-1-5225-2443-4.ch007

Export Reference

Mendeley
Favorite

Abstract

Computer software pervades our lives today. Nevertheless, software is one of the few products for which producers generally provide no express or implied warranties, a truly striking fact since peoples' lives depend in such fundamental ways on these products. This article addresses why such an unintuitive (and undesirable) situation might exist. It will catalog a range of computer science proof techniques and their historical antecedents, the purposes they serve, and several foundational concerns that elude proof techniques of any kind. Along the way, the concept of intractability and its role in computing will be explored as it pertains to algorithmic complexity and to proofs of the meanings of computer programs.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.