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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.