Hacker News Reader

What human obsession with "formal proofs"??? Have you heard of religions?

Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.