[FOM] looking for review

[Dennis E. Hamilton]

Re: http://www.cs.nyu.edu/pipermail/fom/2002-December/006107.html

The Peter G. Neumann review on ACM Ubiquity
 http://www.acm.org/ubiquity/book_reviews/p_neumann_4.html 
inspired my associate Bill Anderson and I to purchase the 
book and undertake a two-person reading program:
http://nfocentrale.net/orcmid/readings/trust.htm#[MacKenzie2001]
We are both quite taken with the book, but Bill's reading has gone 
farther than mine, which has petered out.  And I find the book to be
extremely valuable.

The "Proof of Correctness Wars" were revisted by Robert
Glass in the August 2002 issue of Communications of the ACM:
http://doi.acm.org/10.1145/545151.545168

This inspired some letter responses in the December 2002 issue,
but letters are not indexed and are not incorporated in the ACM
Digital Library.

James H. Fetzer submitted one of the responses to Glass.  Fetzer 
points out that to assume that formal proofs apply to causal systems
constitutes a category mistake.  Although the statement is correct, 
I don't know that it is apt, or we would have to put away our physics 
formulae and calculators.

I recommend the MacKenzie book.

-- orcmid

------------------
Dennis E. Hamilton
http://NuovoDoc.com/
mailto:dennis.hamilton at acm.org
tel. +1-206-932-6970
cell +1-206-779-9430
     The Miser Project: http://miser-theory.info/
     AIIM DMware: http://DMware.info/