Curriculum Vitae for Computer Science

James H. Fetzer

Authored Book:

COMPUTERS AND COGNITION: Why Minds are Not Machines. Dordrecht, The Netherlands: Kluwer Academic Publishers, 2001. (Studies in Cognitive Systems, Vol. 25) xix + 323 pp.

Co-Edited Book:

PROGRAM VERIFICATION. Fundamental Issues in Computer Science (co-edited with Timothy Colburn and Terry L. Rankin). Dordrecht/Boston/London: Kluwer Academic Publishers, 1993. (Studies in Cognitive Systems, Vol. 14) xiii + 457 pp.

Articles and Reviews:

"Program Verification: The Very Idea", Communications of the ACM (September 1988), pp. 1048-1063.

Reprinted in T. Colburn, J. Fetzer, and T. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1993), pp. 321-358.

Reprinted in J. Fetzer, Computers and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands: Kluwer Academic Publishers, 2000), pp. 183-220.

"ACM Forum: Response from the Author", Communications of the ACM (March 1989), pp. 288-289.

"Technical Correspondence: The Author's Response", Communications of the ACM (March 1989), pp. 377-381.

"Technical Correspondence: The Author's Response", Communications of the ACM (April 1989), pp. 510-512.

"ACM Forum: Patents and Programs", Communications of the ACM (June 1989), pp. 675-676.

"ACM Forum: Another Point of View", Communications of the ACM (August 1989), pp. 920-921.

"Mathematical Proofs of Computer System Correctness: A Response", Notices of the AMS (December 1989), pp. 1353-1354.

"The Final Word on Program Verification", Notices of the AMS (May/June 1990), pp. 562-563.

"Philosophical Aspects of Program Verification", Minds and Machines (May 1991), pp. 197-216.

Reprinted in T. Colburn, J. Fetzer, and T. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers, 1993), pp. 403-427.

Reprinted under the title, "Program Verification", in A. Kent and J. Williams, eds., Encyclopedia of Computer Science and Technology, Vol. 28 (New York, NY: Marcel Dekker, 1993), pp. 237-254.

Reprinted under the title, "Program Verification", in A. Kent and J.Williams, eds., Encyclopedia of Microprocessors, Vol. 14 (New York, NY: Marcel Dekker, 1994), pp. 47-64.

Reprinted in J. Fetzer, Computers and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands: Kluwer Academic Publishers, 2001), pp. 221-245.

"Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems", Social Philosophy and Policy 13 (Summer 1996), pp. 229-266.

Reprinted in E. Paul, F. Miller, and J. Paul, eds., Scientific Innovation, Philosophy, and Public Policy (New York, NY: Cambridge University Press, 1996), pp. 229-266.

Reprinted in J. Fetzer, Computers and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands: Kluwer Academic Publishers, 2001), pp. 271-308.

"Computer Systems: The Uncertainty of Their Reliability", Bridges 5 (1998), pp. 197-215.

"Philosophy and Computer Science: Reflections on the Program Verification Debate", in T. Bynum and J. H. Moor, eds., The Digital Phoenix: How Computers are Changing Philosophy (Oxford, UK: Basil Blackwell, 1998), pp. 253-273.

Reprinted in J. Fetzer, Computers and Cognition: Why Minds are Not Machines (Dordrecht, The Netherlands: Kluwer Academic Publishers, 2001), pp. 247-267.

"The Alan Turing Home Page", APA Newsletter on Philosophy and Computing 97 (1998), pp. 54-55.

"The Role of Models in Computer Science", The Monist 82 (1999), pp. 20-36.