Re: [HM] Proofs and the computer

John McCleary (mccleary@vassar.edu)
Wed, 09 Jun 1999 11:27:20 -0500 (EST)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Colin McLarty: "Re: [HM] Proofs and the computer"
Previous message: Gordon Fisher: "Re: [HM] Proofs and the computer"
Maybe in reply to: Emmanuel Attard Cassar: "[HM] Proofs and the computer"
Next in thread: Colin McLarty: "Re: [HM] Proofs and the computer"

A rich and thoughtful discussion of the proof of the
four colour theorem appears in
Social Studies of Science volume 29 1999
Slaying the Kraken: The Sociohistory of a Mathematical
Proof by Donald MacKenzie, 7--60.

John McCleary

Next message: Colin McLarty: "Re: [HM] Proofs and the computer"
Previous message: Gordon Fisher: "Re: [HM] Proofs and the computer"
Maybe in reply to: Emmanuel Attard Cassar: "[HM] Proofs and the computer"
Next in thread: Colin McLarty: "Re: [HM] Proofs and the computer"