IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

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

Logic and Proof in Computer Science: Categories and Limits of Proof Techniques
View Sample PDF
Author(s): John W. Coffey (The University of West Florida, USA)
Copyright: 2018
Pages: 23
Source title: Philosophical Perceptions on Logic and Order
Source Author(s)/Editor(s): Jeremy Horne (International Institute of Informatics and Systemics, USA)
DOI: 10.4018/978-1-5225-2443-4.ch007

Purchase

View Logic and Proof in Computer Science: Categories and Limits of Proof Techniques on the publisher's website for pricing and purchasing information.

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.

Related Content

. © 2021. 24 pages.
. © 2021. 18 pages.
. © 2021. 23 pages.
. © 2021. 32 pages.
. © 2021. 20 pages.
. © 2021. 29 pages.
. © 2021. 23 pages.
Body Bottom