News for hackers. Stuff that matters.

A comment on The Human Obsession With "Formal Proofs" is a Waste of Time. Parent comment

Re:The Human Obsession With "Formal Proofs" is a Waste of Time by mjgoins on Tuesday February 17, 2009 @07:25PM (#485199)
Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.
[ Parent | on HN ]

There are no comments on this comment yet.