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

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

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

Академики

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

Позже он окончил Академию исполнительских искусств в Праге , где он изучал игру на органе у Йиржи Рейнбергера, а затем стал играть на органе в церкви.

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