Do people in Data Science tend to understand what the halting problem is actually about?
Do people tend to understand what Gödel Incompleteness is actually about?
Do people tend to understand that Wittgenstein's early efforts into a formal system of language (Tractatus Logico-Philosophicus) was an utter failure, to the extent that Wittgenstein became sure (because of how badly it failed) that language isn't a formal system at all, just some sort of arcane racket ball...?
#science #turing #turingmachine #Gödel #incompleteness #Tractatus