| rdfs:comment
| - Алан Матисон Тьюринг (англ. Alan Mathison Turing; 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, изобретатель машины Тьюринга.
- Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний. Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания.
|
| abstract
| - Алан Матисон Тьюринг (англ. Alan Mathison Turing; 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, изобретатель машины Тьюринга.
- Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний. Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания. В своей работе Тьюринг предложил проект простого устройства, имеющего все основные свойства современной информационной системы: программное управление, память, и пошаговый способ действий. Эта воображаемая машина, получившая название «машины Тьюринга», используется в теории автоматов или компьютеров. Когда Тьюринг из США возвратился в Англию, началась мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 1943 году взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла союзникам в борьбе с немецко-фашистскими захватчиками. После войны в 1945 Алан возглавил проект создания компьютера «ТУЗ» (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с «МАДАМ» (MADAM, Manchester Automatic DigitAl Machine), компьютером с самой большой памятью в мире в то время. Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинству исследований в области искусственного интеллекта. Он полагал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающую способность машины мыслить: побеседуйте с ЭВМ, и пусть она убедит вас, что она — человек. В 1952 году Тьюринг издал первую часть его теоретического изучения развития форм живых организмов. Но эта работа осталась незаконченной, из-за его самоубийства, видимо вызванного преследованиями со стороны британской разведки.
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)