Hacker News new | ask | show | jobs
by kangalioo 818 days ago
I will never understand how people think like that. Sure, there are things computers cannot compute, but that's because those things are _uncomputable_ in general
1 comments

It's obvious to you because of people like Church and Turing. Until their work on the Entscheidungsproblem was published, it was not only common, but mainstream to believe that nothing was inherently incomputable. They not only demonstrated that there were things that weren't, they did so by proving that the set of everything computable was the same set of things their approaches could compute and that certain problems were outside that set.
Yeah, that's definitely fair. What I'm annoyed about is the "checkmate, computers" stance, pretending like the problems computers cannot solve could be solved by other means
It was obvious to Turing and Church because of Gödel; incompleteness theorem restated.

Einstein, Gödel, and a few others verified work means the majority of us are coloring within the lines they drew until we die.