Petr Hájek (matematik)

prof. RNDr. Petr Hájek, DrSc., dr. h. c.
Narození6. února 1940
Praha
Protektorát Čechy a MoravaProtektorát Čechy a Morava Protektorát Čechy a Morava
Úmrtí26. prosince 2016 (ve věku 76 let)
Praha
ČeskoČesko Česko
Alma materMatematicko-fyzikální fakulta Univerzity Karlovy
Hudební a taneční fakulta Akademie múzických umění
Povolánímatematik, vysokoškolský učitel a varhaník
ZaměstnavatelČeské vysoké učení technické v Praze
OceněníMedaile Za zásluhy mzz III.stupeň (2006)
Nábož. vyznáníČeskobratrská církev evangelická
DětiJonáš Hájek syn,Marie Hájková dcera
Funkceředitel (Ústav informatiky AV ČR; 1992–2000)
varhaník
Některá data mohou pocházet z datové položky.

Petr Hájek (6. února 1940 Praha – 26. prosince 2016) byl český vědec v oblasti matematické logiky[1] a profesor matematiky.

Profesní život

Vystudoval Matematicko-fyzikální fakultu Univerzity Karlovy v Praze a Hudební fakultu Akademie múzických umění (hru na varhany). Pracoval v Ústavu informatiky Akademie věd České republiky[2], přednášel na Matematicko-fyzikální fakultě UK a Fakultě jaderné a fyzikálně inženýrské ČVUT.[zdroj?] Věnoval se teorii množin, aritmetice, později logice a umělé inteligenci. Položil matematické základy fuzzy logiky.[3] Nikdy nebyl členem žádné politické strany; odmítl spolupráci s StB.[4] Jak docentem (1993), tak profesorem (1997) byl jmenován až po sametové revoluci. V letech 1992–2000 byl ředitelem Ústavu informatiky Akademie věd České republiky, v letech 1996–2003 prezidentem Společnosti Kurta Gödela (Kurt Gödel Society).[5][6] Od roku 1996 byl členem Učené společnosti České republiky.[7] V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědy[8] a o dva roky později obdržel čestný doktorát od Slezské univerzity v Opavě.[9]

Osobní život

Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.[10] Po čtyřicet let[zdroj?] působil jako varhaník pražského evangelického kostela sv. Klimenta.[11]

Jeho synem je básník Jonáš Hájek.

Dílo (spoluautor)

  • Petr Hájek, Pavel Kalášek, Petr Kůrka: O dynamické logice. Praha : Academia, 1960, 42 s.
  • Petr Vopěnka, Petr Hájek: The Theory of Semisets. Praha : Academia, 1972 [Z češ. do angl. přel. T. Jech a G. Rousseau].
  • Petr Hájek, Tomáš Havránek, Metoděj K. Chytil: Metoda GUHA : automatická tvorba hypotéz. Praha : Academia, 1983.
  • Petr Hájek, Pavel Pudlák: Metamathematics of First-Order Arithmetic. Berlin : Springer, 1993, 460 s.
  • Petr Hájek: Metamathematics of Fuzzy Logic. Dordrecht: Kluwer 1998, 297 s.

Reference

  1. ↑ http://www.radio.cz/cz/clanek/91701 Český rozhlas
  2. ↑ Zemřel významný český vědec a matematik Petr Hájek. TÝDEN.cz [online]. 2016-12-26 [cit. 2021-06-24]. Dostupné online. 
  3. ↑ http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=20061027102622 Státní vyznamenání pro prof. RNDr. Petra Hájka, DrSc., Odbor mediální komunikace Akademie věd
  4. ↑ http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka
  5. ↑ http://www.cs.cas.cz/hajek/ Hájek Petr, prof., RNDr., DrSc., Institute of Computer Science Academy of Sciences of the Czech Republic, profesní životopis (anglicky)
  6. ↑ http://kgs.logic.at/index.php?id=42 Archivováno 24. 9. 2004 na Wayback Machine. 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)
  7. ↑ Archivovaná kopie. www.learned.cz [online]. [cit. 2015-05-29]. Dostupné v archivu pořízeném dne 2015-05-29. 
  8. ↑ http://www.hrad.cz/cms/cz/info_servis/tiskove_zpravy/3955.shtml Archivováno 9. 6. 2007 na Wayback Machine. Prezident udělil státní vyznamenání, tisková zpráva pražského hradu
  9. ↑ Nositelé čestné vědecké hodnosti doctor honoris causa [online]. Slezská univerzita v Opavě [cit. 2016-04-11]. Dostupné online. 
  10. ↑ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
  11. ↑ red. Medaile prof. Petru Hájkovi. Český bratr. 2006, roč. 82, čís. 12, s. 5. Dostupné online. ISSN 1211-6793. 

Literatura

  • Petr Cintula, Zuzana Haniková, Vítězslav Švejdar (eds.): Witnessed Years, Essays in Honour of Petr Hájek, College Publications, London, 2009, ISBN 978-1-904987-63-5.

Související články

Externí odkazy

Pahýl
Pahýl
 Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Read other articles:

Emanuele Calaiò

Emanuele Calaiò Informasi pribadiNama lengkap Emanuele CalaiòTanggal lahir 8 Januari 1982 (umur 42)Tempat lahir Palermo, ItaliaTinggi 1,72 m (5 ft 7+1⁄2 in)Posisi bermain PenyerangInformasi klubKlub saat ini CataniaNomor 9Karier junior TorinoKarier senior*Tahun Tim Tampil (Gol)1999–2003 Torino 20 (3)2002 → Ternana (pinjaman) 10 (2)2002–2003 → Messina (pinjaman) 12 (2)2003–2005 Pescara 70 (28)2005–2008 Napoli 112 (40)2008–2013 Siena 148 (46)2013 → N...

 

Kening-merah (burung)

Kening-merah Acanthis Common redpoll in Oulu, FinlandTaksonomiKerajaanAnimaliaFilumChordataKelasAvesOrdoPasseriformesFamiliFringillidaeGenusAcanthis Borkh., 1797 Tata namaSinonim taksonCarduelis SpeciesAcanthis flammea Acanthis cabaret Acanthis hornemanniDistribusi lbs Kening-merah (genus Acanthis ) (di Inggris Raya juga secara historis dikenal sebagai redpoles ) [1] [2] adalah sekelompok burung pengicau kecil dalam keluarga finch Fringillidae, yang memiliki ciri khas tanda me...

 

Kepulauan Solomon

Untuk kegunaan lain, lihat Salomo. Kepulauan SolomonSolomon Islands (Inggris)Solomon Aelan (Pijin) Bendera Lambang Semboyan: To Lead is to Serve(Inggris: Memimpin berarti Mengabdi)Lagu kebangsaan:  God Save Our Solomon Islands (Indonesia: Tuhan jagalah Negara Kepulauan Solomon kami) Lagu kerajaan:  God Save the King (Indonesia: Tuhan Jagalah sang Raja) Perlihatkan BumiPerlihatkan peta BenderaIbu kota(dan kota terbesar)Honiara9°28′S 159°49′E / 9.467°S 159....

Jamie Carragher

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Jamie Carragher di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjem...

 

B

  此條目介紹的是拉丁字母中的第2个字母。关于其他用法，请见「B (消歧义)」。   提示：此条目页的主题不是希腊字母Β、西里尔字母В、Б、Ъ、Ь或德语字母ẞ、ß。 BB b(见下)用法書寫系統拉丁字母英文字母ISO基本拉丁字母（英语：ISO basic Latin alphabet）类型全音素文字相关所属語言拉丁语读音方法 [b][p][ɓ](适应变体)Unicode编码U+0042, U+0062字母顺位2数值 2歷史發...

 

MGMT

American rock band For the MGMT gene, see O-6-methylguanine-DNA methyltransferase. For the band's self-titled album, see MGMT (album). For management, see Management. MGMTMGMT performing at Osheaga Festival in Montreal, Canada in 2017Background informationAlso known asThe ManagementOriginMiddletown, Connecticut, U.S.Genres Indie rock psychedelic rock synth-pop psychedelic pop neo-psychedelia Years active2002–presentLabels Cantora Columbia RED MGMT Records Mom+Pop Dirty Hit BMG Members Andre...

1974 FIFA World Cup final

World Cup final, held in West Germany Football match1974 FIFA World Cup finalGermany's Gerd Müller (far left) watches Netherlands' Johan Cruyff (centre) playing against team-mates Berti Vogts (2nd left) and Uli Hoeneß (right)Event1974 FIFA World Cup Netherlands West Germany 1 2 Date7 July 1974VenueOlympiastadion, MunichRefereeJack Taylor (England)Attendance75,200← 1970 1978 → The 1974 FIFA World Cup final was the final match of the 1974 FIFA World Cup held in Munich, Germany (fo...

 

Преднесение креста

Преднесение креста во время шествия на осляти Преднесе́ние креста́ — в православной традиции — привилегия предстоятеля церкви (в ряде случаев и других архиереев) на несение перед ними во время торжественных церемоний и на богослужениях распятия (предносного креста)...

 

Abbey Rangers F.C.

Association football club in England Football clubAbbey RangersFull nameAbbey Rangers Football ClubNickname(s)The AbbeyFounded1976GroundAddlestone Moor, AddlestoneChairmanNick RileyManagerMike Woolgar & Paul JohnsonLeagueCombined Counties League Premier Division South2022–23Combined Counties League Premier Division South, 4th of 20 Home colours Away colours Abbey Rangers Football Club is a football club based in Addlestone, England. The club are currently members of the Combined Countie...

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、...

 

József Takács (politician)

Hungarian politician (1884–1961) József TakácsMinister of Agriculture of HungaryIn office1 August 1919 – 6 August 1919Preceded byJenő HamburgerKároly VántusSucceeded byLoránd Győry Personal detailsBorn(1884-03-14)14 March 1884Orosháza, Kingdom of Hungary, Austria-HungaryDied2 February 1961(1961-02-02) (aged 76)Budapest, People's Republic of HungaryPolitical partyMSZDPProfessionpolitician The native form of this personal name is Takács József. This article uses ...

 

Россотрудничество

Федеральное агентство по делам Содружества Независимых Государств, соотечественников, проживающих за рубежом, и по международному гуманитарному сотрудничествусокращённо: Россотрудничество Общая информация Страна  Россия Юрисдикция Россия Дата создания 6 сентября...

Tenpō

Period of Japanese history (1830–1844) Part of a series on theHistory of JapanShōsōin ListPaleolithicbefore 14,000 BCJōmon14,000 – 1000 BCYayoi 1000 BC – 300 ADKofun 300 AD – 538 ADAsuka 538 – 710Nara 710 – 794HeianFormer Nine Years' WarLater Three-Year WarGenpei War 794–1185KamakuraJōkyū WarMongol invasionsGenkō WarKenmu Restoration 1185–1333MuromachiNanboku-chō periodSengoku period 1336–1573Azuchi–Momoyama Nanban tradeImjin WarBattl...

 

Union for Reform Judaism

Organization of Reform Judaism in North America Union for Reform JudaismAbbreviationURJTheologyReform JudaismPresidentRabbi Richard JacobsCCAR PresidentRabbi Ron Segal[1]AssociationsWorld Union for Progressive JudaismRegionUnited States and CanadaHeadquarters633 Third Avenue, New York CityFounderIsaac Mayer WiseOriginJuly 8, 1873 Melodeon Hall, Cincinnati, OhioCongregations831Members~880,000 affiliates600,000–1,150,000 identifyingOfficial websitewww.urj.org The Union for Reform Juda...

 

Billy Crudup

American actor (born 1968) Billy CrudupCrudup in 2015BornWilliam Gaither Crudup (1968-07-08) July 8, 1968 (age 55)Manhasset, New York, U.S.EducationUniversity of North Carolina, Chapel Hill (BA)New York University (MFA)OccupationActorYears active1989–presentSpouse Naomi Watts ​(m. 2023)​Partner(s)Mary-Louise Parker(1996–2003) Claire Danes(2003–2006)Children1 William Gaither Crudup (/ˈkruːdəp/; born July 8, 1968)[1] is an American actor. ...

St. Paul's Church (Chittenango, New York)

Historic church in New York, United States United States historic placeSt. Paul's ChurchU.S. National Register of Historic Places St. Paul's Church, May 2009Show map of New YorkShow map of the United StatesLocation204 Genesee Street, Chittenango, New YorkCoordinates43°2′37″N 75°52′0″W / 43.04361°N 75.86667°W / 43.04361; -75.86667Arealess than one acreBuilt1865Architectural styleGothic RevivalMPSHistoric Churches of the Episcopal Diocese of Central New ...

 

حركة الديمقراطية لمنغوليا الجنوبية

حركة الديمقراطية لمنغوليا الجنوبية تاريخ التأسيس 1992  تعديل مصدري - تعديل   هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (يناير 2010) حركة الديمقراطية لمنغوليا الجنوبية هي حركة تأسست عام 1992 من أجل هدف حق تقرير ا...

 

Oratorio (musica)

L'oratorio è un genere musicale eseguito in forma di concerto, che, a differenza dell'opera lirica, è senza rappresentazione scenica o personaggi in costume. Generalmente composto per solisti, coro e orchestra, a volte con un narratore, è solitamente di soggetto religioso (Bibbia), ma può anche trattare argomenti profani (mitologia o storia). I cantanti si esibiscono in borghese tenendo in mano un libretto musicale. Formalmente abbastanza vicino alla cantata e all'opera, l'oratorio co...

Sam Adekugbe

Canadian soccer player (born 1995) Sam Adekugbe Adekugbe playing for Canada at the 2022 FIFA World CupPersonal informationFull name Samuel Ayomide Adekugbe[1]Date of birth (1995-01-16) January 16, 1995 (age 29)Place of birth London, EnglandHeight 1.78 m (5 ft 10 in)[2][3]Position(s) Left-backTeam informationCurrent team Vancouver Whitecaps FCNumber 3Youth career1998–2000 Manchester United Grassroots Program2000–2004 AFC Clayton2004–2011 Calgar...

 

Glenugie Peak

Geologic formation in New South Wales Glenugie PeakMount ElaineGlen Ugie Peak[1]Glenugie Peak with eastern grey kangaroos (at bottom left)Highest pointElevation316 m (1,037 ft)Coordinates29°50′0″S 153°03′48″E / 29.83333°S 153.06333°E / -29.83333; 153.06333[1]GeographyGlenugie PeakLocation in New South Wales LocationNorthern Rivers region, New South Wales, AustraliaGeologyAge of rockCenozoicMountain typeDolerite Glenugie Peak, ...