Тьюрінг, Алан Матісон

Тьюрінг, Алан Матісон (1912, Лондон — 1954) — англ. математик і логік. Закінчив Кембриджський ун-т (1935). Захистив докт. дис. (1938) "Система логіки, заснована на порядкових чисельниках", в якій зробив спробу спроектувати універсальну обчислювальну машину з великими логічними можливостями. У роки Другої світової війни Т. намагався втілити в життя деякі свої ідеї щодо універсальної машини. У післявоєнні роки Т. брав участь у створенні перших комп'ютерів. У 1951 р. були проведені експериментальні випробування комп'ютера, ряд властивостей якого відповідали його гіпотетичній універсальній машині. У ці ж роки Т. зацікавився проблематикою штучного інтелекту і навіть створив тест, за яким, на його думку, можна було встановити — чи вміє машина мислити. Найбільш вагомим результатом Т. як вченого стала теорія універсальної обчислювальної машини. Ідея Т. отримала свій подальший розвиток у створенні сучасної комп'ютерної техніки. Окрім того, ця теорія мала велике значення для з'ясування проблеми вирішеності логічної теорії, тобто можливості існування алгоритму розв'язання відповідного класу задач за конечну кількість кроків.

[br]

Основні твори: "Чи може машина мислити?" (1950).