For a case which very nearly came to court disputing a claim made by a company to have built a computer chip mathematically proven to meet its specification, take a look at this section of an article by Donald MacKenzie: http://books.google.co.uk/books?id=rx3oUTzjh8sC&pg=PA134. It would have been wonderful to have had barristers contest the nature of mathematical proof. Mackenzie writes about the case at greater length in 'Mechanizing Proof: Computing, Risk, and Trust' MIT Press 2001.
|
1 | [made Community Wiki] | ||
|
|
||||
