News for hackers. Stuff that matters.

A comment on Why Mathematical Proof Is a Social Compact. Parent comment

Re:Why Mathematical Proof Is a Social Compact by calf on Friday September 01, 2023 @04:21AM (#37348128)
It would be interesting to see some computer-aided proof expert write a possible counter-response to the article.
[ Parent | on HN ]

There are no comments on this comment yet.