Известные люди

»

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

Хайтин родился в Чикаго, наследник аргентинских иммигрантов из Буэнос-Айреса. Вскоре семейство переехала в Нью-Йорк. Ещё ребёнком, его привлекла статья Эрнста Нагеля и Джеймса Ньюмана (James R. Newman) Доказательство Гёделя, опубликованная в 1956 году в журнале Scientific American. Через два года её авторы выпустили одноимённую книгу, которую Хайтин читал в Нью-йоркской публичной библиотеке. В 1959 году, следуя указаниям из раздела Amateur Scientist в Scientific American, он построил генератор Ван де Граафа.

Хайтин получил образование в Bronx High School of Science и City College of New York, где он и создал свою теорему. В 1966 году семейство возвращается в Буэнос-Айрес, где он становится программистом в IBM Argentina.

В 1974 году Хайтин был приглашён в исследовательский середина IBM им. Томаса Уотсона, где он работает и поныне. С 1976 по 1985 он работал там программным и аппаратным инженером над проектом IBM RISC.

В 1995 ему была присуждена уровень доктора наук in honoris causa Университета Мэна, а в 2002 звание почётного профессора Университета Буэнос-Айреса. С 2000 года он ещё является приглашённым профессором в Университете Окленда.

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

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

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

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

екоторые философы и логики стопроцентно не согласны с философскими заключениями, которые Хайтин вывел из своих теорем. Логик Torkel Franzйn критикует интерпретацию Хайтином теореме Гёделя о неполноте и сомнительное пояснение, данное ей Хайтином в его работах.

Так же читайте биографии известных людей:

Грегори Пинкус Gregory Goodwin Penkus

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

Грегори Шамитофф Gregory E. CHAMITOFF

Кандидат в космонавты США. Родился 6 августа 1962 года в городе Монреаль (Канада).
читать далее →

Грегори Лемаршаль Gregory Lemarchal

Грегори Лемаршаль - популярный французский певец, музыкант. Родился 13 мая 1983 года.Альбомы Грегори Лемаршаль:18 апреля 2005 : Je deviens moi..
читать далее →

Грегори Смит Gregory Smith

Грегори Смит - американский и канадский актер. Родился 6 июля 1983 года.Грегори Смит начал сниматься в телесериалах в раннем детском возрасте...
читать далее →

Ваши комментарии

добавить комментарий