The Human Obsession With "Formal Proofs" is a Waste of Time

Re:The Human Obsession With "Formal Proofs" is a Waste of Time by gabriel on Tuesday February 17, 2009 @11:08PM (#485352)

Here's the link to the Dec 2008 issue of the Notices of the American Mathematical Society that this article is in response: http://www.ams.org/notices/200811/index.html

[ Parent | on HN ]

There are no comments on this comment yet.