Грегори Хайтин
Грегори Хайтин — математик и информатик, внёсший вклад в метаматематику. Наряду с А. Колмогоровым считается основателем алгоритмической теории информации; известен своей новой теоремой о неполноте[1].
Карьера[править]
С детства проявлял интерес к точным наукам.
Учился в BHSS и Сити-колледже, где и разработал свою теорему.
В 1966 переехал в Буэнос-Айрес, где стал программистом в IBM Argentina.
С 1974 трудится в исследовательском центре IBM им. Т. Уотсона, где в 1976—1985 трудился программным и аппаратным инженером над проектом IBM RISC.
В 1995 — доктор наук Университета Мэна, а в 2002 — почётный профессор Буэнос-Айреского университета.
С 2000 — приглашённый профессор в Университете Окленда.
Его научную деятельность Википедия описывает следующим образом:
Проводил исследования в области теории информации, теории вычислимости, основаниях математики. Ранние работы Хайтина по алгоритмической теории информации параллельны ранним работам Колмогорова.
Хайтин ввел константу Хайтина Ω, действительное число, чьи цифры равнораспределены и которое иногда называют выражением вероятности, что произвольно взятая программа остановится. Ω имеет то математическое свойство, что оно определимо, но не вычислимо.
Хайтин также занимается вопросами философии, в особенности метафизикой и философией математики, в частности, эпистемологическими проблемами математики.
Хайтин также является автором использования хроматического числа (graph coloring) для распределения регистров при компиляции, известного как алгоритм Хайтина.