«Можна вважати, що машина думає, якщо вона поводиться так, як ми вважали б розумним для людини»
1936
Рік статті про машину Т.
2
Роки роботи над зломом Еніґми
2009
Офіційне вибачення уряду Британії
50 фунтів
Банкнота з 2021 р.
Біографія
Алан Метісон Тьюрінґ народився в Лондоні 23 червня 1912 р. Виявляв надзвичайні математичні здібності ще в школі. Здобула освіту в Кінгс-коледжі Кембриджу і Прінстонському університеті під керівництвом Алонзо Черча.
У 1936 р. опублікував статтю «Про числа, що обчислюються...», де ввів поняття «машини Тьюрінґа» — абстрактного обчислювального пристрою, який став теоретичним фундаментом усіх комп'ютерів. Цю роботу вважають актом народження теоретичної інформатики.
Під час Другої світової війни Тьюрінґ очолював групу Блетчлі-парку, яка зламала шифр «Еніґма» — що, за оцінками, скоротило війну на 2 роки і врятувало мільйони життів. Але ці заслуги залишалися секретними ще 50 років після його смерті.
Машина Тьюрінґа
Абстрактна модель обчислення (1936)
Стрічка:Нескінченна стрічка клітинок, кожна може містити символ (0, 1, або порожньо)
Голівка:Зчитує/записує символ поточної клітинки, рухається вліво або вправо
Стан:Скінченна множина станів Q (включаючи початковий і кінцеві)
Правило:Таблиця переходів δ(q, s) → (q', s', d): новий стан, символ для запису, напрям руху
Тьюрінґ довів: якщо задача принципово розв'язна алгоритмом, її може обчислити машина Тьюрінґа. Це «тезис Черча–Тьюрінґа».
Тест Тьюрінґа та штучний інтелект
У 1950 р. у статті «Обчислювальні машини і розум» Тьюрінґ поставив питання «Чи може машина мислити?» і запропонував практичний спосіб його перевірки — «Гра в імітацію», яку пізніше назвали тестом Тьюрінґа.
Тест Тьюрінґа — суть
Людина-суддя спілкується текстом з двома співрозмовниками — людиною і машиною — не знаючи, хто є хто. Якщо суддя не може надійно відрізнити машину від людини, машина «проходить» тест. Тьюрінґ передбачав, що до 2000 р. машина зможе обдурити 30% суддів протягом 5 хвилин — що і відбулось (Eugene Goostman, 2014, суперечливо).
Зламання Еніґми
Блетчлі-парк, 1939–1945
Тьюрінґ розробив «Бомбу» — електромеханічну машину для перебору можливих налаштувань Еніґми. Спираючись на роботу польських математиків (Реєвський, Зигальський), він вдосконалив метод і зміг розшифровувати більшість повідомлень ВМФ Германії. Злом Eніґми вважається одним з найважливіших досягнень союзників у Другій світовій.
Головні внески
🖥️
Машина Тьюрінґа (1936)
Абстрактна модель обчислення, що стала фундаментом теоретичної інформатики та теорії алгоритмів.
🔐
Злам Еніґми (1940–41)
Розробив «Бомбу» — машину для злому нацистського шифру Еніґма. Оцінні заощадження: 14 мільйонів людських життів.
🤖
Тест Тьюрінґа (1950)
Визначив оперативний критерій «інтелекту» машини. Стаття «Computing Machinery and Intelligence» заснувала ШІ як науку.
🧬
Морфогенез (1952)
Математична теорія утворення біологічних візерунків (плями леопарда, смуги зебри) через реакційно-дифузійні рівняння.
⛔
Проблема зупинки (1936)
Довів, що не існує загального алгоритму, який може вирішити, чи зупиниться довільна програма — перша «нерозв'язна» задача.
♟️
Шахова програма (1948)
Написав («на папері») першу шахову програму до появи комп'ютерів. Сам «виконував» кроки — предтеча ШІ у іграх.
Трагедія і реабілітація: У 1952 р. Тьюрінґ був засуджений за «грубу непристойність» (гомосексуальність). Як альтернативу ув'язненню йому призначили хімічну кастрацію. У 1954 р. помер від отруєння ціанідом (офіційно — самогубство, обставини досі дискутуються). У 2009 р. прем'єр-міністр Британії Гордон Браун приніс офіційне вибачення. У 2013 р. видано посмертне помилування Королевою. З 2021 р. зображений на банкноті у 50 фунтів.
Хронологія
23 червня 1912 — Народився в Лондоні
1931 — Вступає до Кінгс-коледжу Кембриджу (математика)
1936 — Стаття «On Computable Numbers» — машина Тьюрінґа і нерозв'язна проблема зупинки
1938 — PhD у Прінстоні під керівництвом Алонзо Черча
1939–1945 — Блетчлі-парк: злам Еніґми і Lorenz SZ (Тьюнні)
1945 — OBE за воєнні заслуги
1948 — Перший шаховий алгоритм; робота над ACE-комп'ютером
1950 — Стаття «Computing Machinery and Intelligence» — тест Тьюрінґа
1952 — Засуджений за «непристойність»; хімічна кастрація
7 червня 1954 — Помер у 41 рік (отруєння ціанідом)
2013 — Посмертне помилування Королевою Єлизаветою II
2021 — Портрет на банкноті 50 фунтів стерлінгів
Спадщина
1966
Заснована премія Тьюрінґа — «Нобелівська премія інформатики»
14M+
Оцінні врятовані життя завдяки зломуЕніґми
50 GBP
Банкнота з 2021 р. (Банк Англії)
∞
Вплив на сучасну інформатику, ШІ та крипто
«Ми можемо бачити лише небагато попереду, але ми бачимо достатньо, щоб визнати: є чим зайнятись.»
— Алан Тьюрінґ, «Computing Machinery and Intelligence» (1950)
Відповіді на найпоширеніші питання про батька інформатики та штучного інтелекту.
Що таке машина Тьюрінґа і чому вона основа програмування? +
Машина Тьюрінґа (1936) — абстрактна модель обчислення: нескінченна стрічка, зчитувальна головка та таблиця переходів. Попри свою простоту, вона може обчислити будь-яку алгоритмічно обчислювану функцію (теза Черча–Тьюрінґа). Всі реальні мови програмування (Python, C++, Java) є Тьюрінґ-повними — тобто теоретично еквівалентними машині Тьюрінґа.
Як тест Тьюрінґа визначає рівень інтелекту машини? +
У статті «Computing Machinery and Intelligence» (1950) пропонується «гра в наслідування»: якщо суддя у текстовому діалозі не може відрізнити машину від людини — машина проходить тест. Тест уникає питання «що таке інтелект» і замінює його на поведінковий критерій. Сучасні LLM (GPT-4, Gemini) регулярно проходять варіанти тесту, але критики стверджують: наслідувати ≠ розуміти.
Як Тьюрінґ зламав шифр Еніґми під час Другої світової? +
У Блетчлі-Парку (1939–1945) Тьюрінґ вдосконалив польський метод «бомба» — створив електромеханічну машину для перебору конфігурацій Еніґми. Він математично використав відому структуру повідомлень («кріби») та рефлектор Еніґми, який не шифрує букву саму на себе. Операція «Ультра» дозволила читати 80% зашифрованих наказів нацистської Германії. Оцінки: скоротило війну на 2–4 роки.
Що таке проблема зупинки і чому вона нерозв'язна? +
Проблема зупинки: чи існує алгоритм, що для будь-якої програми P і вхідних даних I визначає, зупиниться P чи ні? Тьюрінґ (1936) довів — ні: припустивши існування такого алгоритму H, він побудував програму, яка дає суперечність при аналізі самої себе (самореференційний парадокс, метод діагоналізації Кантора). Це перший доказ алгоритмічно нерозв'язної задачі.
Яка спадщина Тьюрінґа у сучасній науці і технологіях? +
Ідеї Тьюрінґа живуть у кожному процесорі (архітектура фон Неймана — реалізація його абстракцій), теорії складності (класи P, NP), криптографії та нейронних мережах. Премія Тьюрінґа (ACM) — «Нобелівська премія інформатики» вручається щорічно. У 2009 р. прем'єр-міністр Великої Британії вибачився за переслідування Тьюрінґа у 1952 р. за гомосексуальність. У 2021 р. його обличчя з'явилось на банкноті £50.
Внесок у науку
Цей вчений залишив глибокий слід у розвитку науки та технологій. На цій сторінці зібрані ключові відкриття, цитати та концепції, пов'язані з його науковою спадщиною.
Цей піонер інформатики заклав теоретичні або практичні основи обчислень, що використовуються у кожному процесорі та програмі сьогодні.
Чому важливо знати цього вченого
Розуміння внеску видатних вчених допомагає зрозуміти логіку розвитку науки. Їхні методи мислення, підходи до проблем і наукова стійкість — безцінний приклад для кожного дослідника і студента.