The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Logic and Proof in Computer Science: Categories and Limits of Proof Techniques
|
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
|
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.
|
|
|