Scan barcode
427 pages • first pub 2004 (editions)
ISBN/UID: 9780262632959
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 30 January 2004
Description
MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many qu...
Community Reviews
Content Warnings
427 pages • first pub 2004 (editions)
ISBN/UID: 9780262632959
Format: Paperback
Language: English
Publisher: MIT Press
Publication date: 30 January 2004
Description
MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many qu...
Community Reviews
Content Warnings