Minds and Machines 1 (2):197-216 (1991)
A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.
|Keywords||Formal methods correctness proofs deductive reasoning inductive reasoning computer programming computers programs verification|
|Categories||categorize this paper)|
References found in this work BETA
Computer Science as Empirical Inquiry: Symbols and Search.Allen Newell & Herbert A. Simon - 1981 - Communications of the Association for Computing Machinery 19:113-26.
Program Verification: The Very Idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
The Limits of Correctness.Brian Cantwell Smith - 1985 - Acm Sigcas Computers and Society 14 (1):18-26.
Citations of this work BETA
Computing the Perfect Model: Why Do Economists Shun Simulation?Aki Lehtinen & Jaakko Kuorikoski - 2007 - Philosophy of Science 74 (3):304-329.
Similar books and articles
God and the World of Signs: Introduction to Part 2.Andrew Robinson & Christopher Southgate - 2010 - Zygon 45 (3):685-688.
Some Empirical Criteria for Attributing Creativity to a Computer Program.Graeme Ritchie - 2007 - Minds and Machines 17 (1):67-99.
The Use of a Formal Simulator to Verify a Simple Real Time Control Program.Robert Boyer - manuscript -
Understanding, Formal Verification, and the Philosophy of Mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Added to index2009-01-28
Total downloads60 ( #82,371 of 2,079,507 )
Recent downloads (6 months)1 ( #396,084 of 2,079,507 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.