News for hackers. Stuff that matters.

A comment on In Mathematics, Mistakes Aren’t What They Used to Be (2015). Parent comment

Re:In Mathematics, Mistakes Aren’t What They Used to Be (2015) by zitterbewegung on Saturday August 27, 2016 @03:30PM (#12373787)
Seems like you can formulate it using a proof assistant. See http://www.academia.edu/4271278/A_Mechanised_Proof_of_Gödel_...
[ Parent | on HN ]

There are no comments on this comment yet.