Cтраница 1
Тьюринг высказал предположение, что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной в предложенной им модели вычислений. Это предположение известно как тезис Черна-Тьюринга. Каждый компьютер может моделировать машину Тьюринга, для этого достаточно моделировать операции перезаписи ячеек, сравнения и перехода к другой соседней ячейке с учетом изменения состояния машины. Таким образом, он может моделировать алгоритмы в машине Тьюринга, и из этого тезиса следует, что все компьютеры, независимо от мощности, архитектуры и других особенностей, эквивалентны с точки зрения принципиальной возможности решения алгоритмически разрешимых задач. [1]
Тьюринг предложил заменить исходную постановку вопроса совершенно новой: он предложил модель, в которой мышление машины может быть всесторонне рассмотрено в технических терминах. С тех пор эта модель известна как тест Тьюринга; описывается она следующим образом. Представим себе ЭВМ С и человека М, помещенных в отдельной комнате; каждый из них связан с телетайпом, расположенным в другой комнате, где находится человек /, следователь, задающий вопросы. Теперь можно извлечь из теста Тьюринга вопрос, способный заменить исходный. Выглядит он так: Существуют ли машины, способные успешно играть в эту игру. [2]
Тьюринг написал свою основополагающую работу, ситуация была гораздо менее ясной, чем сегодня, поэтому Тьюринг справедливо посчитал необходимым предоставить развернутое изложение этого вопроса. Детально рассмотренная Тьюрингом проблема получила дополнительное обоснование благодаря тому, что совершенно независимо от Тьюринга ( и на самом деле несколько ранее) американский логик Алонзо Черч ( совместно со Стивеном Клини), стремясь найти решение проблемы алгоритмической разрешимости Гильберта, предложил свою схему лямбда-исчисления. Хотя то, что это была всеобъемлющая полностью механическая схема, было не так очевидно, как в случае с подходом Тьюринга, ее несомненным преимуществом была удивительная компактность математической структуры. [3]
Тьюринг [1], для которого характерен чисто математический подход, считал возможным объяснить появление организаций из гомогенного состояния. [4]
Тьюринг ( Turing Alan Mathison ] ( 1912 - 1954) - математик, логик и кибернетик, член Лондонского Королевского общества. [5]
Тьюринг ( Turing Alan Mathison) ( 1912 - 1954) - математик, логик и кибернетик, член Лондонского Королевского общества. [6]
Тьюринг начинает с вопроса: могут ли машины мыслить. Чтобы ответить на этот вопрос, не возбуждая ненужных семантических проблем, он предлагает игру. Посмотрим, говорит он, может ли некий судья отличить человека от вычислительной машины в-следующей ситуации. [7]
Тьюринг показал, что с помощью машины такого типа может быть реализован любой алгоритм по обработке информации. [8]
Тьюринг решил, что особого внимания заслуживает поведение исполнителя алгоритма, поэтому его нужно особенно точно и ясно описать. Из первой главы мы помним, что исполнитель должен действовать совершенно механически, не вкладывая в свою работу никакой инициативы. [9]
Тьюринг высказал предположение ( мы будем его называть основным тезисом Тьюринга), что любая вычислимая функция вычислима по Тьюрингу. [10]
Тьюринг показал, в поддержку этого тезиса, что класс вычислимых вещественных чисел является подполем R, которое содер. Бесселя и вообще наиболее часто используемые в математическом анализе константы. [11]
Тьюринг показал также существование универсальной машины Тьюринга, которая способна выполнить любое вычисление, выполнимое любыми машинами Тьюринга. [12]
Тьюринг показал, что возможно построить универсальную машину, способную работать как любая частная машина Тьюринга, если ее снабдить описанием этой частной машины. Описание наносится на ленту универсальной машины по определенному коду, подобно начальной последовательности кодов частной машины. Тогда универсальная машина воспроизводит работу частной. [13]
Тьюринг имел обыкновение разрабатывать тему, начиная с исходных принципов, на первых порах обычно - не заглядывая ни в какую уже существующую работу по данному предмету, и, несомненно, именно эта привычка придает его трудам столь характерный оригинальный почерк. Мне вспоминается замечание, которое, как говорят, сделал Бетховен, когда его спросили, слышал ли он одну вещь Моцарта, привлекшую общее внимание. [14]
Тьюринг довел этот принцип до крайних пределов, и должен сознаться, что поначалу это меня сильно раздражало. Он отводил мне часть работы и, когда я заканчивал ее, не удостаивал меня чести поглядеть на мое решение, но сам влезал в-задачу; только после такого предварительного испытания он был готов прочесть то, что я сделал. Скоро я увидел преимущества такого подхода. Во-первых, он действительно не так быстро схватывал идеи других людей, как формулировал свои собственные, но, что более важно, часто находил какой-нибудь оригинальный подход, который ускользнул от меня и, возможно, не был бы замечен и им самим, прочитай он сразу мой отчет. Когда он наконец переходил к чтению моей работы, та обычно бывал великодушен в оценке; особенно он любил маленькие программистские трюки ( кое-кто сказал бы, что он слишком их любил, чтобы быть хорошим программистом) и добродушно посмеивался, как мальчик, над маленькими хитростями, которые я использовал. [15]