Философская энциклопедия - тьюринг
Тьюринг
ТЬЮРИНГ
(Turing), Алан Матисон (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-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.Вопрос-ответ:
Самые популярные термины
1 | 2308 | |
2 | 2261 | |
3 | 1393 | |
4 | 1351 | |
5 | 757 | |
6 | 732 | |
7 | 686 | |
8 | 664 | |
9 | 641 | |
10 | 616 | |
11 | 614 | |
12 | 561 | |
13 | 556 | |
14 | 543 | |
15 | 539 | |
16 | 532 | |
17 | 525 | |
18 | 522 | |
19 | 515 | |
20 | 515 |