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 fspeech on Saturday August 29, 2020 @02:17PM (#24318204)
Your need for utility will mostly likely be met by a symbolic algebra system not a formal reasoning system.
[ Parent | on HN ]

There are no comments on this comment yet.