Re:What Computers Cannot Do: The Consequences of Turing-Comp...
by AlotOfReading on Tuesday March 26, 2024 @07:51PM
(#39834172)
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.
[ Parent
| on HN ]
Re:What Computers Cannot Do: The Consequences of Turing-Comp...
by kangalioo on Wednesday March 27, 2024 @09:32AM
(#39838836)
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
Re:What Computers Cannot Do: The Consequences of Turing-Comp...
by haltIncomplete on Wednesday March 27, 2024 @10:04PM
(#39846996)
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.