Hacker News new | ask | show | jobs
by galo2099 6328 days ago
What human obsession with "formal proofs"??? Have you heard of religions?
1 comments
mjgoins 6328 days ago
Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.
link