Just had one if these long discussions with a smart mathematician, and now I notice that sometimes I get the impression that computationalism (the only working philosophical edifice left) is non-obvious to 90% of people. I find that genuinely puzzling.
-
-
2. Gödel's incompleteness theorem refers to an important property of specification languages, i.e. mathematics. Computation is only about actual implementation, so it is unfazed by paradoxes, undecidability and incompleteness. A computational system just goes from state to state.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.