News for hackers. Stuff that matters.

A comment on How close are computers to automating mathematical reasoning?. Parent comment

Re:How close are computers to automating mathematical reason... by sukilot on Saturday August 29, 2020 @02:32PM (#24318338)
It's hard to say that human math is unsound when it's not even well defined. Human math sits on a substantial foundation of faith, and always will.
[ Parent | on HN ]

There are no comments on this comment yet.