Тобто, чи може машина Тьюрінга взяти офіційну систему S як свою вхідну інформацію та вирішити, чи є S повним Turing?
Я думаю, що це нерозв'язна проблема, я прав?
Якщо це не можна визначити, чому ми (як люди) можемо вирішити повноту Тюрінга?
Відповіді:
0 для відповіді № 1Хм:-) прийняття рішення про цілісність повноти не є головним у визначенні того, чи є людський мозок повним ТМ; можна пройти механічні кроки, щоб визначити повноту твердження; це не проблема.
Ключове питання полягає в тому, чи є людський мозок гіперкомп'ютерним [1] чи гіпертурінг.
Одним із тестів було б відповісти "Так" наодне з наступних запитань: чи може людина передбачити, коли машина тирінга зупиниться? (тобто вирішити проблему зупинки) Або людський мозок не підпорядковується теоремі Райса.
Тривіально відповідь на обидва питання, здається, єНі, в загальному випадку, тому що можна уявити ТМ з нескінченно довгою стрічкою і просто стрибаючи навколо, ми ніколи не можемо сказати, коли вона вдарить о клітку, яка говорить їй зупинитися.
Здається, можливість гіперкомп'ютерних обчислень походить від того, що ми помиляємось із звичайними комп'ютерами / програмними / механічними процесами тощо з ТМ.
Теорема Райса може бути бічною ступінкою в"особливий випадок" систем, які демонструють власність Markov і мають обмежену кількість представництва Net-Transition. У нашому загальному середовищі таких "особливих випадків" є в достатку, тому може здатися, що людський мозок здатний до гіперкомп'ютерів, тому що він має тенденцію переходити до загальних висновків з особливих випадків, однак, мабуть, це не так, оскільки ми, як люди, ще не повинні досвід взаємодії з машиною Тюрінга.