Minds and Machines 1 (2):197-216 (1991)
| Abstract |
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) |
| DOI | 10.1007/BF00361037 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
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.
Scientific Knowledge: Causation, Explanation, and Corroboration.Douglas Shrader - 1981 - Tijdschrift Voor Filosofie 46 (3):541-542.
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.
How Minds Can Be Computational Systems.William J. Rapaport - 1998 - Journal of Experimental and Theoretical Artificial Intelligence 10 (4):403-419.
Explaining Simulated Phenomena. A Defense of the Epistemic Power of Computer Simulations.Juan M. Durán - 2013 - Dissertation, University of Stuttgart
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
View all 6 citations / Add more citations
Similar books and articles
Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Understanding, Formal Verification, and the Philosophy of Mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
The Use of a Formal Simulator to Verify a Simple Real Time Control Program.Robert Boyer - manuscript
Some Empirical Criteria for Attributing Creativity to a Computer Program.Graeme Ritchie - 2007 - Minds and Machines 17 (1):67-99.
God and the World of Signs: Introduction to Part 2.Andrew Robinson & Christopher Southgate - 2010 - Zygon 45 (3):685-688.
Program Verification: The Very Idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Analytics
Added to PP index
2009-01-28
Total views
90 ( #109,275 of 2,401,509 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,509 )
2009-01-28
Total views
90 ( #109,275 of 2,401,509 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,509 )
How can I increase my downloads?
Downloads
