News for hackers. Stuff that matters.

A comment on SATNet: Bridging deep learning and logical reasoning with differentiable SAT.

Re:SATNet: Bridging deep learning and logical reasoning with... by yters on Monday June 03, 2019 @07:06PM (#20089907)
Great, hopefully this'll get us past the halting problem.
[ Parent | on HN ]
Re:SATNet: Bridging deep learning and logical reasoning with... by mpoteat on Monday June 03, 2019 @08:48PM (#20090668)
The halting problem is formally proven to be undecidable.
[ Parent | on HN ]
Re:SATNet: Bridging deep learning and logical reasoning with... by dllthomas on Monday June 03, 2019 @08:54PM (#20090700)
In some senses we are past the halting problem once we accept that that we will sometimes be wrong or unable to answer. Insofar as it has anything to do with the halting problem, this seems just another way to do that. Might still be useful.
[ Parent | on HN ]