Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяПершоджерела з філософії → 
« Попередня Наступна »
Патнем Хіларі. Філософія свідомості. Переклад з англ. Макеєвої, Назарової О. А., Никифорова A.; - М.: Будинок інтелектуальної книги. - 240 с., 1999 - перейти до змісту підручника

1. Машини Тюрінга

У цій статті нам буде потрібно поняття машини Тьюринга 6, яке я і хотів би зараз роз'яснити. У двох словах, машина Тьюринга - це пристрій з кінцевим числом внутрішніх конфігурацій, кожна з яких характеризується тим, що машина знаходиться в якомусь одному стані з кінцевого безлічі станів 1 і сканує стрічку, на якій з'являються певні символи.

Стрічка машини розділена на окремі клітини таким чином:

У кожній з цих клітин може бути надрукований символ (із заданого кінцевого алфавіту). Крім того, машина має «сканер», який «сканує» одну клітку стрічки за раз. І, нарешті, машина має друкує механізм, який може: (а) видалити символ, що зустрівся в сканируемой клітці, і (б) надрукувати замість нього якийсь інший символ (з машинного алфавіту).

Будь-яка машина Тьюринга повністю описується машинної таблицею, яка будується наступним чином: рядки таблиці позначені буквами алфавіту (включаючи і «порожню» букву, тобто пробіл), а стовпці відповідають станам А, В, С і т. д. У кожній клітині з'являється «команда», наприклад «s5L Л», «s7C В», «s3R С». Ці команди читаються так: «sbL А» - «надрукувати символ s5 в клітці, яка зараз сканується (після видалення вже міститься в ньому символу), потім просканує-вать найближчу клітку зліва від щойно просканували; після цього перейти в стан А» . Інші команди інтерпретуються схожим чином ("/?» Означає «сканувати найближчу клітку справа», тоді як «С» означає «центрувати», тобто продовжувати сканувати ту ж саму клітку).

Прикладом машинної таблиці може бути наступний: А В С D (* 1> 1 s {RA s {LB s3LD SyCD (s2) + s {LB s2CD s2LD s2CD (s3) пробіл s3CD s3RC s3LD s3CD

Передбачається, що машина, описувана цією таблицею, функціонує наступним чином: при запуску вона знаходиться в стані А. На стрічці з'являється «сума» (у Унарні поданні), яку потрібно «вирахувати», наприклад «II + III».

Машина спочатку сканує першу цифру «/» і починає «вираховувати» суму (по суті, замінюючи знак плюс на цифру /, а потім повертаючись і стираючи першу цифру I). Так, якби «вхідні дані» були IIII + IIIH, то машина «надрукувала» б ПИШИ, а потім перейшла б у «неактивний стан» (стан D).

«Машинна таблиця» описує машину , якщо та має внутрішніми станами, відповідними стовпцями таблиці, і «виконує» команди з таблиці в тому сенсі, що скануючи клітку, в якій зустрічається символ sh і перебуваючи, скажімо, в стані В, вона виконує «команду», зазначену у відповідній сходинці і стовпці таблиці (в даному випадку, в стовпці В і рядку s {). Будь-яка машина, описувана машинної таблицею зазначеного типу, є машиною Тьюринга.

Поняття машини Тьюринга можна розширити в різних відносинах 12. Наприклад , можна припустити, що у машини є друга стрічка (»вхідна стрічка»), на якій оператор в ході обчислень друкує додаткову інформацію. Надалі ми скористаємося цим узагальненням (але місце «оператора» у нас займуть електронні «органи чуття»).

Примітно, що машини Тьюринга, в принципі, здатні робити все те, що робить будь-яка обчислювальна машина (будь-якого виду) 13.

Іноді стверджують (як, наприклад, Нагель і Ньюман в їх книзі «Доказ Геделя» («Gddel's Proof»)), що «ця теорема [тобто теорема Геделя] свідчить про те, що людське мислення має набагато більш складною і досконалою структурою і набагато більшою міццю, ніж будь-яка нежива машина, яку ми могли б собі уявити », і, отже, машина Тьюринга не може служити моделлю людського мислення, але це абсолютно помилкова думка.

Нехай Т - машина Тьюринга, яка« репрезентує »мене в тому сенсі, що Т може доводити ті ж самі математичні положення, що і я. Тоді (хоча Нагель і Ньюман не призводять ніякого докази, але, думаю, саме цей аргумент вони, цолжно бути, мали на увазі) методом Геделя можна знайти висловлювання , яке машина Т не може довести, а я можу довести. Це спростовує то допущення, що Т «репрезентує» мене: отже, я не машина Тьюринга. Помилка полягає в неправильному застосуванні простою і ясною теореми Геделя. Якщо взяти довільну машину Г, то я можу тільки одне - знайти таке висловлювання U, для якого я можу довести:

(з) Якщо Т несуперечлива, то U істинно,

де U нерозв'язно для Г , якщо Т насправді несуперечлива. Однак Т цілком може довести твердження (3)! А твердження [/, яке Т не може довести (за умови її несуперечності), я також не можу довести (якщо тільки я не зможу довести, що Т несуперечлива, а це малоймовірно, враховуючи крайню складність Т) \

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна "1. машина Тьюринга"
  1. 7. ВИСНОВОК
    Думаю, мораль ясна: неможливо більше вважати, що психофізична проблема являє собою справжню теоретичну проблему і її «рішення» могло б пролити хоч який-небудь світло на світ, в якому ми живемо. Бо очевидно, що ні одна доросла людина при здоровому глузді не став би серйозно ставитися до проблеми «тотожності» або «нетотожності »логічних і структурних станів машини - не
  2. наблюдаемо ЧИ ДУША?
    В одному з листів радіослухачів задається, на мій погляд, дуже, цікаве питання:« Не йде чи справу з нашою душею і приблизно так само, як з елементарними частинками? Чи можна про душу робити висновки за тією ж схемою міркувань, по якій фізики роблять висновки про елементарні частинки? У фізиці про деяке мікрооб'єкті говорять, що він є такий-то певної елементарної , наприклад,
  3. 2. МАТЕРІАЛІЗМ
    Думаю, не потрібно доводити, що картезіанський дуалізм не заможний як опис «внутрішнього життя» розглянутих машин і зв'язків між цією внутрішньою життям і їх поведінкою. «Агенти» - це просто певні системи станів, що мають певні каузальні взаємозв'язки; всі ці стану каузально взаємозалежні. Не існує двох окремих «світів» - «світу» «внутрішніх» станів і
  4. МУЗИКА СЬОГОДНІ: ЦЕ ПРОСТО ШУМ??
    Музика і техніка Розвиток науки і техніки не могло не відбитися на мистецтві. Еволюція музики в другій половині XX століття пояснюється значною мірою прогресом, що стався в галузях фізики та інформатики , які сприяли більш точному пізнання законів акустики і новому оволодінню звуковими матеріалами.? Шум і музика: різниця в ступені «Різниця між звуком і шумом - в
  5. I. ВІДПОВІДЬ ВІД СИСТЕМ (Берклі)
    «Це правда, що та людина, який замкнений у кімнаті, не розуміє розповіді, але справа в тому, що він усього лише частина якоїсь цільної системи, і ця система розуміє розповідь. Перед ним лежить гросбух, в якому записані правила, у нього є стопка паперу і чорнила, щоб робити обчислення, у нього є "банки даних" - набори китайських символів. І от розуміння приписується ие просто індивіду,
  6. Наукова та навчальна література IQRSSni URssiru : URSSru Дй $ & лш
    [інааігд r-цнааііздд ^ онаііїді ^ гдцкй »^ Представляємо Вам наші найкращі книги: URSS Підручники з вищої математики Краснов М.Л. та ін Вся вища математика. Т. 1-7. Краснов М.Л. та ін Збірники завдань «Вся вища математика» з докладними рішеннями. Бос В. Лекції з математики. Т. I: Аналіз; Т. 2: Диференціальні УРК & ненко, Т. 3: Лінійна алгебра; Т. 4; Імовірність, інформація, статистика; Т. 5:
  7. 2. приватності
    Припустимо, що машина Тьюринга Т сконструйована для виконання наступних дій: Якийсь число, скажімо, «3000» друкується на стрічці машини Г, і Г виявляється у своєму «початковому стані». Слідом за цим Т обчислює тритисячну (або будь-яку іншу, як вказує задане число) цифру в десятковому розкладанні числа я; друкує цю цифру на своїй стрічці і переходить в «неактивний стан» (тобто
  8. 2.3.4. Порядок придбання, розробки, впровадження необхідних програмних продуктів у навчальний процес і НДР
    Згідно з Положенням про інформаційному центрі МФ (п. 1.5), діє наступний порядок формування та ведення бібліотеки програм: 1. Навчально-методичний керівник ІЦ спільно з ППС кафедр займаються питаннями комплектування бібліотеки на підставі програми інформатизації та предметної області кафедр, погодженої з Радою або деканом факультету. 2. Насамперед бібліотека
  9. 2.6. Математична модель людино-машинного комплексу або інформаційного центру
    Опис моделі інформаційного центру як людино-машинного комплексу, за висловом Г . М. Зараковскій, автора роботи «Закономірності функціонування ергатичних систем» [9], можна провести з хорошою точністю за допомогою диференціальних рівнянь. Так, для кожного «елементу» структурної схеми (рис. 2.6) допускається опис в аналітичній формі процесів перетворення вхідних впливів
  10. !-KUl СШ URSSiru Представляємо Вам наші найкращі книги:
    Серія «Класичний університетський підручник» Колмогоров А. І., Драгаліна А. Г. Математична логіка. Гнеденко Б. В. Курс теорії ймовірностей. URSS Комоновіч Е. В., Мороз В. І. Обшій курс астрономії. Квасников І. А. Термодинаміка і статистична фізика. В 4 т. Теорія чисел Вейль А. Основи теорії чисел. Вейль Г. Алгебраїчна теорія чисел. Інгам А. Е. Розподіл простих чисел. Хинчин
  11. Союз розуму і почуття
    Іноді, спостерігаючи з боку, як працює майстер - не важливо, будь то яка добре знає свою справу господиня чи досвідчений керівник, - дивуючись, як у майстра все чудово складається «один до одного», створюється враження, що це не зовсім людина, а дуже досконала машина. Звичайно, це не так. Неправда, що універсальний бізнесмен - це машина, у якої розраховане кожен рух, думка і
  12. § 4. Доместикация
    Після неолітичної революції, що відбулася приблизно 10 тис. років тому, важко уявити життя людини без одомашнених рослин і тварин. Людина приборкує стихії природи і поселяє їх у себе вдома. Так першим був одомашнений вогонь. Домашнє господарство - лабораторія народного господарства. Для худоби, вогню і ін потім побудують окремий будинок, з розмахом. Культивація і селекція в спеціалізованих
  13. Індустрія послуг
    Для полегшення домашньої праці використовуються домашнє обладнання та зовнішні послуги. Пральні машини, холодильники, пилососи, автоматичні обігрівачі, кухонне обладнання конструюється для максимального скорочення зусиль, які пов'язані зі збільшеним споживанням товарів. Ці споживчі товари високо цінуються в залежності від того, яким чином вони економлять і полегшують працю
  14. 3. Технологічна передумова
    Винахід книгодрукування і розвиток машинного виробництва створили умови для широкого тиражування творів літератури і деяких видів мистецтва, а також винаходів і товарних позначень. Стосовно до процесу масового відтворення на матеріальних носіях ідеальних плодів розумової праці все частіше стали застосовувати поняття "духовного виробництва". Але коли незабаром в
  15. 6. Таємне голосування
    Цей принцип полягає у виключенні зовнішнього спостереження і контролю за волевиявленням виборця. Сенс його в тому, щоб гарантувати повну свободу цього волевиявлення. Хоча необхідність таємного голосування очевидна, історія його значно коротше історії виборів державних органів. Так, у Франції теоретично таємне голосування було встановлено ще в 1789 році, але практично введено
  16. ПРАЦЯ І ТВОРЧІСТЬ
    Ханна Арендт? Ханна Арендт: відмінність між «працею» і «творчістю» Термін «праця», єдиний у французькій мові, відсилає, як вважає Арендт, до двох видів діяльності, які необхідно розрізняти. «Труд» позначає діяльність, яка встановлюється біологічними процесами живого організму і метою якої є виробництво предметів, які повинні споживатися,
  17. Людина як багатство.
    Робоча сила є головним фактором виробництва, а відтворення в народногосподарському масштабі є відновлення виробництва товарів і відтворення самої робочої сили. К. Маркс розглядав виробництво людини як другий вид суспільного виробництва. У процесі виробництва робоча сила не тільки відтворюється, але й удосконалюється, розвивається. Відбувається накопичення
  18. 4. непатентоспроможним об'єкти
    Зазвичай нововведення, що відповідає всім встановленим у законі вимогам, визнається патентоздатним винаходом. патентоспроможного насамперед відповідають встановленим законом вимогам технічні рішення. Тому не визнаються винаходами, зокрема, * наукові теорії та математичні методи; * методи організації та управління господарством; * умовні позначення, розклади, правила,
  19.  2.5. Структурна модель сучасного інформаційного центру
      Представляючи структуру ІЦ у вигляді послідовно пов'язаних між собою ланок (лабораторій), з урахуванням відносин із зовнішніми споживачами * продукції та внутрішніми замовниками, тобто з урахуванням зворотних зв'язків V, її можна зобразити у вигляді такої структурної схеми (рис. 2.5). Щоб отримати загальне вираз передавальної функції для даної структурної схеми, скористаємося теорією