Грегори Хайтин. Пределы доказуемости
Грегори Хайтин (Gregory Chaitin) — научный сотрудник Исследовательского центра им. Томаса Уотсона корпорации IBM, почетный профессор Университета Буэнос-Айреса и Оклендского университета. Параллельно с А.Н. Колмогоровым занимался разработкой теории алгоритмической информации. Написал 9 книг, в том числе две научно-популярные: «Беседы с математиком» и «Метаматематика!». [1]
Ссылку на Г.Хайтина я нашел в книге Джеймс Глик. Информация. История. Теория. Поток. Теория информации меня интересует еще со студенческой скамьи. Следует отметить, что она – раздел математики, и совсем непроста для понимания неподготовленным человеком (таким, как я). Но поскольку мой интерес не ослабевает, я пытаюсь находить научно-популярные издания на эту тему, и продвигаться понемногу вперед. Своим серьезным достижением я считаю разработку алгоритма игры «Быки и коровы», основанном на теории информации. До сих пор я использовал два подхода к определению понятия «количество информации»: комбинаторный и вероятностный. В настоящей статье рассматривается алгоритмический подход, предложенный академиком Колмогоровым (см. библиографию в конце заметки) и развиваемый Хайтиным.
Эта статья опубликована в журнале «В мире науки», № 6 за 2006 г., с. 38–45.
