4 ms·
Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.
by mjgoins 18y ago
Funny you mention it, because when I hear "obsession with formal proofs" I immediately think of Anselm and Plantinga.