Hájek Petr

Prof., RNDr., DrSc.
Born February 6, 1940 in Prague, † December 26, 2016

  • Mathematical logic
  • Member of Learned Society since 1996

Educational and professional preparation:

  • 1962, graduated, Faculty of Mathematics and Physics, Charles University, thesis on algebra;
  • 1965, post-graduate student, Institute of Mathematics of the CSAS (mathematical logic, PhD. thesis on set theory);
  • 1990, CSc. and DrSc.;
  • 1993, Associate Professor, CU;
  • 1994-present, Honorary Professor, Technical University, Vienna;
  • 1997, Professor, CU

Employment and academic positions:

  • Till 1992, Institute of Mathematics CSAS/AS CR (last period as head scientific worker)
  • 1992-2000, Director, Institute of Computer Science, AS CR (now senior scientific worker there)

Membership in domestic scientific bodies:

  • Member, Accreditation Commission, Ministry of Education, Youth and Sports CR
  • Member, Council for Sciences, AS CR

Membership and positions in selected international organizations and societies:

  • Member, Association for Symbolic Logic (twice member of Council)
  • 1995-1999, First Vice-President, International Union of the History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science
  • 1999-2003, President, Kurt Gödel Society
  • Member, editorial boards, Czechoslovak Mathematical Journal, Studia Logica, Archive for Mathematical Logic, Soft Computing, Fundamenta Informaticae

Selected publications:

  • Vopěnka P., Hájek P.: The theory of semisets. North-Holland Publ. Comp. 1972, 332 pp.
  • Hájek P., Havránek T., Chytil M.: Metoda GUHA – automatická tvorba hypotéz. (GUHA Method - automatic hypothesis formation), Academia, Prague 1983, 316 pp.
  • Hájek P., Havránek T.: Mechanizing hypothesis formation (mathematical foundations for a general theory), Springer-Verlag, Berlin-Heidelberg-New York, 1978, 398 pp.
  • Hájek P., Pudlák P.: Metamathematics of first-order arithmetic, Springer-Verlag 1993, 460 pp.
  • Hájek P., Havránek T., Jiroušek R.: Processing uncertain information in expert systems, C.R.C. Press (USA) 1992, 285 pp.
  • Hájek P.: Metamathematics of Fuzzy Logic. Kluwer 1998, 297 pp.

Zpět na seznam článků

Novinky

29.09.21

Krásné společenské stroje: pozvánka na diskusi o umělé inteligenci a algoritmické teorii her

Učená společnost Vás srdečně zve na diskusi "Krásné společenské stroje: umělá inteligence a algoritmická teorie her". Diskutovat bude pět světových expertů: Jiří Matas (ČVUT), Tomáš Mikolov (CIIRC), Martin Schmid (Google DeepMind), Jan Vondrák (Stanford Univ.) a Lenka Zdeborová (École Polytechnique Fédérale de Lausanne). Diskuse se uskuteční 19. 10. 2021 od 16.00 hod. v budově Akademie věd ČR, Národní 3, Praha 1 (místnost 206). Diskusi bude možno sledovat také na YouTube: http://spolecenske-stroje.jdem.cz.

Pozvánka (PDF)

29.09.21

Stříbrná medaile Senátu pro Helenu Illnerovou a Jiřího Grygara

Členové Učené společnosti prof. Helena Illnerová a dr. Jiří Grygar převzali 28. září 2021 z rukou předsedy Senátu PČR Miloše Vystrčila Stříbrnou pamětní medaili. Stříbrná medaile předsedy Senátu se uděluje od roku 2007 osobnostem z řad vědců, umělců, sportovců a dalším osobám, které vynikly ve svých oborech či vykonaly zvláštní čin. Od roku 2012 medaili uděluje předseda Senátu při příležitosti Dne české státnosti, tj. 28. září. Příležitostně může být předána během roku v případě návštěvy významných zahraničních osobností.

16.09.21

Pozvánka ke sledování online přednášky doc. RNDr. Filipa Matějky, Ph.D.: Ekonomie a lidská nepozornost

Učená společnost Vás srdečně zve ke sledování online přednášky doc. RNDr. Filipa Matějky, Ph.D. (CERGE-EI, Praha; Center for Economic and Policy Research, London): Ekonomie a lidská nepozornost. Přednášku je možné sledovat 21. 9. 2021 od 16:00 hod. na YouTube: http://matejka.jdem.cz

Pozvánka (PDF)