On Jul 2, 2014, at 10:06 PM, Clark Goble <cl...@lextek.com> wrote: > Putnam’s perhaps Peirce inspired semi-empirical methods in mathematics paper. > I rather enjoyed that paper but some noted that it was a bit after the fact > given the reality of how computers were already being used in mathematical > proof. As I recall Putnam’s paper came out somewhat after the Four Color > Proof that brought a lot of attention to the role of computers in proofs.
Correction. I just checked my bookshelf and my memory was *way* off. Putnam wrote on this way back in the 1970s. Far before the Four Color Theorem proof. My apologies. That’ll teach me to go by memory.
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . To UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .