Петр Гайек ( чешское произношение: [ˈpɛtr̩ ˈɦaːjɛk] ; 6 февраля 1940 г. - 26 декабря 2016 г.) был чешским ученым в области математической логики [1] и профессором математики . Родился в Праге , он работал в Институте информатики в Академии наук Чешской Республики и в качестве лектора на факультете математики и физики в Карловом университете в Праге и на факультете ядерных наук и физической инженерии Чешский технический университет в Праге .
Академики
Петр Гайек учился на физико-математическом факультете Карлова университета в Праге [2] Под влиянием Петра Вопенка он специализировался на теории множеств , арифметике , позже также на логике и искусственном интеллекте . [3] Он способствовал установлению математических основ нечеткой логики . [3] После бархатной революции он был назначен старшим преподавателем (1993 г.) и профессором (1997 г.). [2] С 1992 по 2000 год он занимал должность председателя Института компьютерных наук Академии наук Чешской Республики. [2] С 1996 по 2003 год он также был президентом Общества Курта Гёделя . [4]
Позже он окончил Академию исполнительских искусств в Праге , где изучал игру на органе у Йиржи Рейнбергера, чтобы стать играющим на органе в церкви. [5]
Награды
- 2002 г., медаль министра образования Чешской Республики [2]
- 2006, медаль за заслуги , третьего класса, в области наук по Президенту Чехии Вацлава Клауса [2] [6]
- 2008, Почетный доктор из Силезского университета в Опаве [2] [7]
Статьи
- Гайек, Петр; Калашек, Павел; Курка, Петр (1960). О динамичная логика . Прага: Academia.
- Вопенка, Петр; Гайек, Петр (1972). Теория полусетов . Пер. Jech, T. и Rousseau, G. Praha: Academia.
- Гайек, Петр; Гавранек, Томаш; Chytil, Методей К. (1983). Метод ГУХА: автоматическое создание гипотез . Прага: Academia.
- Гайек, Петр; Пудлак, Павел (1993). Метаматематика арифметики первого порядка . Берлин: Springer.
Смотрите также
Рекомендации
- ^ Валиш, Зденек (26 мая 2007 г.). "Наш хозяин: Математик с худыми склонами" . Český rozhlas (на чешском языке).
- ^ Б с д е е http://www.cs.cas.cz/hajek/
- ^ а б «Архивная копия» . Архивировано из оригинала на 2015-07-10 . Проверено 9 июля 2015 .CS1 maint: заархивированная копия как заголовок ( ссылка )
- ^ «Наши президенты» . Общество Курта Гёделя . Архивировано из оригинала на 2004-09-24.
- ^ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
- ^ http://www.hrad.cz/cs/ceska-republika/statni-vyznamenani/medaile-za-zasluhy/seznam-vyznamenanych.shtml
- ^ http://www.slu.cz/slu/cz/pr/cestni-doktori
Внешние ссылки
- Бывшая страница Петра Гайека
- Базы данных Национальной библиотеки Чешской Республики