Jump to content

Петр Гаек

Проф. доктор медицинских наук Петр Гаек, доктор философии.

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

академики

[ редактировать ]

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

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

  • Гаек, Петр; Калашек, Павел; Курка, Петр (1960). О динамической логике . Прага: Академия.
  • Вопенка, Петр; Гаек, Петр (1972). Теория полумножеств . Транс. Йех Т. и Руссо Г. Прага: Академия.
  • Гаек, Петр; Гавранек, Томас; Хитил, Методей К. (1983). Метод GUHA: автоматическая генерация гипотез . Прага: Академия.
  • Гаек, Петр; Пудлак, Павел (1993). Метаматематика арифметики первого порядка . Берлин: Шпрингер.

См. также

[ редактировать ]
[ редактировать ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: adf50c1246b5c91e2c0c4b1d6c4cc426__1725136380
URL1:https://arc.ask3.ru/arc/aa/ad/26/adf50c1246b5c91e2c0c4b1d6c4cc426.html
Заголовок, (Title) документа по адресу, URL1:
Petr Hájek - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)