Тони Хоар: на 100-летие Тьюринга

Недавно мы отмечали 100 лет со дня рождения Алана Тьюринга – математика, криптоаналитика, одного из основоположников информатики, автора Машины Тьюринга и теста Тьюринга.  Ведущий исследователь Microsoft Recerch в Кембридже и лауреат премии Тьюринга Тони Хоар опубликовал пост, посвященный этой дате. Сегодня, через 100 лет со дня рождения Тьюринга, компьютер так и не научился мыслить как человек, однако, во многих отношениях превзошел своего создателя – утверждает Хоар.

В 1947 году Тьюринг отметил, что в одной области способность компьютера к «мышлению» очевидно выше, чем в остальных. Компьютер может рассуждать о правильности собственных программ.  Моя дальнейшая карьера исследователя – пишет Хоар – была посвящена развитию этой темы: разработке метода Тьюринга в области исследования программных продуктов с помощью компьютера.

Сейчас этот метод повсеместно используется в ИТ-компаниях для снижения стоимости тестирования программ и выявления ошибок кода.

Сегодня компьютер стал полноценным компаньоном, коллегой программиста. В этом сотрудничестве компьютер может полноценно отвечать на целый ряд вопросов, связанных со свойствами и поведением программы на всех этапах разработки, развития и эволюции. Более того -  компьютер видит детали программы хотя и не идеально, но, разумеется, часто лучше, чем программист. Последнему остается утешаться тем, что он, в отличие от компьютера, понимает цель программы.

А кроме того, - добавляет Хоар, начавший свою научную карьеру на философском факультете, - не решенным остается вопрос о самосознании: верно ли, что компьютер, рассуждающий о программе, никогда не догадается, что фактически он рассуждает о самом себе?