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

Novinky


31.03.2017

Veřejná přednáška „Genetika a původ biologických druhů“

Učená společnost České republiky Vás srdečně zve na přednášku prof. MUDr. Jiřího Forejta, DrSc. (Ústav molekulární genetiky AV ČR, v. v. i.) Genetika a původ biologických druhů. Přednáška se koná 11. dubna 2017 od 15:00 hod. v místnosti č. 206 budovy AV ČR, Národní tř. 3, Praha 1

14.03.2017

Úmrtí člena prof. Jana Svobody

V pondělí 13. března 2017 zemřel ve věku 82 let zakládající člen Učené společnosti biolog prof. Jan Svoboda. Zabýval se výzkumem tzv. retrovirů (některé způsobují nádory nebo jiná závažná onemocnění, jako např. AIDS) a jejich vztahy s hostitelskými buňkami.

09.03.2017

Profesor Cedric Villani navštíví ve čtvrtek 13. dubna 2017 Prahu

Přední matematik světového formátu, nositel Fieldsovy medaile a mnoha dalších ocenění, profesor Cedric Villani, ředitel Institutu Henri-Poincaré v Paříži a profesor univerzity Claude Bernarda v Lyonu, navštíví na pozvání Učené společnosti ČR ve čtvrtek 13. dubna 2017 Prahu. Profesor Villani pronese dvě přednášky.