Смотреть больше слов в «Истории и философии науки. Энциклопедическом словаре»
(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. В. Донченко. Москва. ... смотреть
англ. логик и математик. В 1937 предложил определение абстрактной вычислительной машины (“машина Т.”), средствами к-рой может быть в принципе осуществлен любой вычислительный или логический процесс, совершаемый по точному предписанию. “Машина Т.” явилась одним из первых уточнений понятия алгоритма; она предвосхитила ряд черт появившихся позднее универсальных цифровых вычислительных машин. Одним из первых Т. подчеркнул важность создания обучаемых машин, т. е. машин, к-рые могли бы накапливать опыт и совершенствовать свое “поведение” в процессе взаимодействия с внешней средой. ... смотреть
(Turing, Alan Mathison)(1912-1954), английский математик, логик. Внес значительный вклад в символическую логику и основания математики, введя понятие а... смотреть
Тьюринг (Turing) Алан Матисон (23.6.1912, Лондон, ‒ 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По о... смотреть