Грегори Хайтин

Материал из Циклопедии
Перейти к: навигация, поиск

Грегори Джон Хайтин

англ. Gregory John Chaitin
B9a427b7f7dff4e0f8ebdf493734c043.jpg
Дата рождения 25 июня 1947 года
Место рождения Чикаго, США









Известен как математик и информатик




Грегори Хайтинматематик и информатик, внёсший вклад в метаматематику. Наряду с А. Колмогоровым считается основателем алгоритмической теории информации; известен своей новой теоремой о неполноте[1].

[править] Карьера

С детства проявлял интерес к точным наукам.

Учился в BHSS и Сити-колледже, где и разработал свою теорему.

В 1966 переехал в Буэнос-Айрес, где стал программистом в IBM Argentina.

С 1974 трудится в исследовательском центре IBM им. Т. Уотсона, где в 1976—1985 трудился программным и аппаратным инженером над проектом IBM RISC.

В 1995 — доктор наук Университета Мэна, а в 2002 — почётный профессор Буэнос-Айреского университета.

С 2000 — приглашённый профессор в Университете Окленда.

Его научную деятельность Википедия описывает следующим образом:

Проводил исследования в области теории информации, теории вычислимости, основаниях математики. Ранние работы Хайтина по алгоритмической теории информации параллельны ранним работам Колмогорова.

Хайтин ввел константу Хайтина Ω, действительное число, чьи цифры равнораспределены и которое иногда называют выражением вероятности, что произвольно взятая программа остановится. Ω имеет то математическое свойство, что оно определимо, но не вычислимо.

Хайтин также занимается вопросами философии, в особенности метафизикой и философией математики, в частности, эпистемологическими проблемами математики.

Хайтин также является автором использования хроматического числа (graph coloring) для распределения регистров при компиляции, известного как алгоритм Хайтина.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты