ТЬЮРИНГ АЛАН

Найдено 3 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [современное]

Тьюринг Алан
 (1912—54) — англ. логик и математик. В 1937 предложил определение абстрактной вычислительной машины («машина Т.»), средствами к-рой может быть, в принципе, осуществлен любой вычислительный или логический процесс, совершаемый по точному предписанию. «Машина Т.» явилась одним из первых уточнений понятия алгоритма; она предвосхитила ряд черт появившихся позднее универсальных цифровых вычислительных машин. Одним из первых Т. подчеркнул важность создания обучаемых машин, т. е. машин, к-рые могли бы накапливать опыт и совершенствовать свое поведение в процессе взаимодействия с внешней средой.

Источник: Философский словарь. 1963

ТЬЮРИНГ АЛАН

(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. В. Донченко. Москва.

Источник: Философская Энциклопедия. В 5-х т.

ТЬЮРИНГ АЛАН

(1912—1954) — англ. математик, логик, один из основоположников информатики и вычислит. техники. Окончил Кембриджский ун-т (1935). В это время внимание мн. математиков было приковано к проблеме логич. оснований математики, критическому анализу и обоснованию ее фундаментальных понятий, особенно тех, к-рые традиционно использовались без уточнения их смысла, на интуитивном уровне. Алгоритм — одно из таких понятий, формализация к-рого стала необходимой. Т. удалось дать определение понятия «алгоритм» (1936). В кач-ве его уточнения он предложил гипотетическую конструкцию — машину, получившую вскоре название «машина Т.» (1937). В то время Т. стажировался в Принстонском ун-те в США. В Англию он вернулся уже знаменитым ученым, долгие годы работал в Манчестерском ун-те. Во время Второй мировой войны сотрудничал с англ. контрразведкой, принимал участие в расшифровке нем. кода «Энигма»; решение этой задачи стало одним из примеров эффективности вычислит. техники. «Машина Т.» начала свою вторую жизнь после появления ЭВМ, для к-рых понятие алгоритма — центральное. В 1951 г. Т. стал чл. Лондонского королевского об-ва. В этот период он активно занимался теор. проблемами программирования, строил интерпретаторы для новых ЭВМ, ввел в науч. оборот понятие «стек» и внес значительный вклад в технологию программирования. В последние годы жизни интересовался матем. биологией, на к-рую возлагал большие надежды. Т. также явл. одним из основателей теории искусственного интеллекта; им разработан тест («тест Т.») для проверки разумности компьютера (1950). В 1952 г. Т. был осужден по обвинению в гомосексуальности (к-рая тогда в Великобритании преследовалась по з-ну) и приговорен к принудительной гормональной терапии, после чего покончил жизнь самоубийством. Б.Н.Махутов У

Источник: История и философия науки. Энциклопедический словарь

Похожие термины:

  • ТЬЮРИНГ АЛАН МАТИССОН

    (1912- 1954) — выдающийся английский математик, разработал понятие абстрактного эквивалента алгоритма, или вычислимой функции, является автором основополагающей для информатики идеи абстрактной уни