Петр Гайек - Petr Hájek

Проф. Петр Гайек, д.б.н.

Петр Гайек (Чешское произношение: [ˈPɛtr̩ ˈɦaːjɛk]; 6 февраля 1940 г. - 26 декабря 2016 г.) Чешский ученый в районе математическая логика[1] и профессор математика. Рожден в Прага, работал в Институте Информатика на Академия наук Чешской Республики и в качестве преподавателя физико-математического факультета Карлов университет в Праге и на факультете ядерных наук и физической инженерии Чешский технический университет в Праге.

Академики

Петр Гайек учился на физико-математическом факультете Карлов университет в Праге[2] Под влиянием Петр Вопенка, он специализировался на теория множеств, арифметика, позже также в логика и искусственный интеллект.[3] Он способствовал установлению математических основ нечеткая логика.[3] После Бархатная революция он был назначен старший преподаватель (1993) и профессор (1997).[2] С 1992 по 2000 год он занимал должность председателя Института компьютерных наук Академии наук Чешской Республики.[2] С 1996 по 2003 год он также был президентом Общество Курта Гёделя.[4]

Позже он окончил Академия исполнительских искусств в Праге, где учился Орган под руководством Иржи Рейнбергера, чтобы стать органистом в церкви.[5]

Награды

Статьи

  • Гайек, Петр; Калашек, Павел; Курка, Петр (1960). O Dynamické Logice. Прага: Academia.
  • Вопенка, Петр; Гайек, Петр (1972). Теория полусетов. Пер. Jech, T. и Rousseau, G. Praha: Academia.
  • Гайек, Петр; Гавранек, Томаш; Chytil, Методей К. (1983). Метод ГУХА: автоматическое создание гипотез. Прага: Academia.
  • Гайек, Петр; Пудлак, Павел (1993). Метаматематика арифметики первого порядка. Берлин: Springer.

Смотрите также

Рекомендации

внешняя ссылка