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 kd0amg on Saturday August 29, 2020 @01:31PM (#24317789)
Unsound with respect to what?
[ Parent | on HN ]
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 ]