M math.rutgers.edu The Human Obsession With "Formal Proofs" is a Waste of Time 38 points tyn 17 years ago 28 comments
