Смотреть больше слов в «Философском энциклопедическом словаре »
(1912—1954) — англ. математик, логик, один из основоположников информатики и вычислит. техники. Окончил Кембриджский ун-т (1935). В это время внимание мн. математиков было приковано к проблеме логич. оснований математики, критическому анализу и обоснованию ее фундаментальных понятий, особенно тех, к-рые традиционно использовались без уточнения их смысла, на интуитивном уровне. Алгоритм — одно из таких понятий, формализация к-рого стала необходимой. Т. удалось дать определение понятия «алгоритм» (1936). В кач-ве его уточнения он предложил гипотетическую конструкцию — машину, получившую вскоре название «машина Т.» (1937). В то время Т. стажировался в Принстонском ун-те в США. В Англию он вернулся уже знаменитым ученым, долгие годы работал в Манчестерском ун-те. Во время Второй мировой войны сотрудничал с англ. контрразведкой, принимал участие в расшифровке нем. кода «Энигма»; решение этой задачи стало одним из примеров эффективности вычислит. техники. «Машина Т.» начала свою вторую жизнь после появления ЭВМ, для к-рых понятие алгоритма — центральное. В 1951 г. Т. стал чл. Лондонского королевского об-ва. В этот период он активно занимался теор. проблемами программирования, строил интерпретаторы для новых ЭВМ, ввел в науч. оборот понятие «стек» и внес значительный вклад в технологию программирования. В последние годы жизни интересовался матем. биологией, на к-рую возлагал большие надежды. Т. также явл. одним из основателей теории искусственного интеллекта; им разработан тест («тест Т.») для проверки разумности компьютера (1950). В 1952 г. Т. был осужден по обвинению в гомосексуальности (к-рая тогда в Великобритании преследовалась по з-ну) и приговорен к принудительной гормональной терапии, после чего покончил жизнь самоубийством. Б.Н.Махутов У ... смотреть
(23 июня 1912 – 7 июня 1954) – англ. логик и математик. В 1936–37 предложил идеализированную машинную модель вычислит. процесса – вычислительную схему, близкую к действиям человека, производящего вычисления, и выдвинул тезис ("тезис Т. "), согласно к-рому каждая функция, вычислимая в обычном, естественном смысле, может быть вычислена с помощью такой модели ("машины Т. "). "Машина Т. " явилась одним из первых уточнений понятия алгоритма. Другие такие уточнения подтвердили справедливость тезиса Т. в том смысле, что всякая функция, вычислимая по Т., вычислима и при др. уточнениях понятия алгоритма, и наоборот. "Машина Т. " предвосхитила ряд черт появившихся позднее универсальных цифровых машин. Большое внимание Т. уделял проблемам, связанным с изучением мышления. В частности, Т. указал на необходимость создания машин, моделирующих процесс обучения, поскольку обучение играет решающую роль в развитии мышления у человека. Т. занимался также вопросами, связанными с разрешения проблемой и проблемой сводимости в предикатов исчислении первой ступени. Соч.: On computable numbers, with an application to the Entscheidungsproblem, "Proc. London. Math. Soc", 1937, 2 ser., v. 42–43; Computability and ?-definability, "J. Symb. Logic", 1937, v. 2, No 4; Systems of logic based on ordinals, "Proc. London. Math. Soc", 1939, 2 ser., v. 45, pt 3; в рус. пер. – Может ли машина мыслить?, М., 1960. В. Донченко. Москва. ... смотреть
(Turing, Alan Mathison)(1912-1954), английский математик, логик. Внес значительный вклад в символическую логику и основания математики, введя понятие а... смотреть
Тьюринг (Turing) Алан Матисон (23.6.1912, Лондон, ‒ 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По о... смотреть