[AlotOfReading]

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.

[kangalioo]

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

[haltIncomplete]

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.