3 ms·
> Orch-Or appears to be based on a misunderstanding of Godel's Theorem and computationalism, as has been pointed out by mathematicians and computer scientists.
by tananan 2y ago
> Orch-Or appears to be based on a misunderstanding of Godel's Theorem and computationalism, as has been pointed out by mathematicians and computer scientists.
When I was looking for this, I failed to find or agree with anything conclusive for either side. Admittedly, I am not knowledge enough to be a good judge. Do you have any pointers?
- n4r9 2y agoThe SEP page on Godel Incompleteness has a section 6.3 on "arguments against mechanism": https://plato.stanford.edu/entries/goedel-incompleteness/ https://plato.stanford.edu/entries/goedel-incompleteness/ There is also the "Criticism" section of the Wikipedia page on the Penrose-Lucas argument: https://en.m.wikipedia.org/wiki/Penrose%E2%80%93Lucas_argument https://en.m.wikipedia.org/wiki/Penrose%E2%80%93Lucas_argume... Those and the citations therein look like a good starting point.