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

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