Грегори Хайтин Аргентино-американский математик и информатик Дата рождения: . Страна: Аргентина

1. Ранние годы и образование
2. Карьера в математике и информатике
3. Алгоритмическая теория информации и константа Хайтина
4. Философские взгляды
5. Почести и признание
6. Атака на теорему Хайтина

Ранние годы и образование

Гектор Хайтин родился в Чикаго от аргентинских родителей. В детстве он прочел статью об одной из теорем Гёделя о неполноте и был очарован ею. Хайтин построил генератор Ван де Граафа, следуя инструкциям из раздела "Amateur Scientist" в Scientific American. Он получил образование в средней школе Бронкса и Сити-колледже Нью-Йорка, где разработал свою знаменитую теорему.

Карьера в математике и информатике

Хайтин внес значительный вклад в метаматематику и алгоритмическую теорию информации. Вместе с Андреем Колмогоровым он считается одним из основателей последней. Он известен своей новой теоремой о неполноте, близкой по духу к теореме Гёделя. Хайтин также работал над теорией информации, теорией вычислимости и основаниями математики.

Алгоритмическая теория информации и константа Хайтина

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

Философские взгляды

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

Почести и признание

Хайтин получил почетные докторские степени от Университета Мэна и Университета Буэнос-Айреса. Он был приглашенным профессором в Университете Окленда. Хайтин был удостоен премии имени Грасе Хоппер за вклад в вычислительную технику.

Атака на теорему Хайтина

Некоторые философы и логики критикуют интерпретацию Хайтином теоремы Гёделя о неполноте и его философские выводы из его теорем. Логик Туркель Франзен считает объяснение Хайтином сомнительным.