4 ms·

I wonder if it affects the theory of computation in any way. Is it an argument against the church Turing thesis? Is it reason to believe in the existence of com

I wonder if it affects the theory of computation in any way. Is it an argument against the church Turing thesis? Is it reason to believe in the existence of computational oracle TM such as a halting oracle TM? To me these questions are related to strong AI. Are creative inputs to normal algorithms fundamentally more effective than normal inputs to creative algorithms? Is there a high degree of intricacy of information such that inputs to the algorithm is somehow more powerful than any algorithm?

masswerk 5y ago
Not really, as it is on an entirely different level. According to the Tractatus, any transcendental questions are really about existence. As this is outside of what is graspable inside the world (and only accessible as a concept by the impossible position from looking at the world from outside), it is simply beyond theoretical reach. As any propositions about the real, factual world belong to the natural sciences, this leaves no genuine propositions to philosophy. The subject of these philosophical questions just arises, but can't be argued about – at least, not in a meaningful way in the strict sense. So computation doesn't promise any meaningful answers, nor do these questions lend themselves to computation. Even more so, as nothing genuinely arises from logic (but logic structure). (While some of this may remind of Kant's thing in itself, it is comes from an entirely different direction, namely, a proposed teleology of philosophy, while Kant addresses this from the fundamentals of perception.)