Calendar

No events are planned

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.

Back to the list of articles

News

26.06.20

Reaction to the case of Tomáš Hudlický: Members of the Learned Society of the Czech Republic support the freedom of expression

„We believe that free exchange of ideas is a key condition for the pursuit of truth and that the honest opinions should be scrutinized, challenged or rebutted but not censored or suppressed,“ say 45 members of the Learned Society in a statement regarding the retracted opinion paper by Prof. Tomáš Hudlický.

24.06.20

The letter by Jan Konvalinka to the President and Vice-Chancellor of the Brock University regarding the retracted article of Prof. Tomáš Hudlický

Opinions could and should be challenged, questioned or refuted but never silenced. In order to be able to think, we have to have the right to inquire, question and even offend or be mistaken,” writes Assoc. Prof. Jan Konvalinka, a biochemist at the IOCB Prague and the Vice-Rector of the Charles University, to Gervan Fearon.

27.11.19

Prof Miroslav Bárta receives the Česká hlava National Government Award

Learned Society member, Prof. Mgr. Miroslav Bárta, Dr. (Charles University Faculty of Arts) received the Česká hlava (Czech Head) National Government Award on 25 November 2019. A renowned Czech Egyptologist and archaeologist, Professor Bárta researches the history of ancient civilisations, the human relationship to the natural environment, and also for many years the evolution of complex societies. He leads the Czech Institute of Egyptology for archaeological and environmental research in Egypt and Sudan. His principal research interest is the period of the pyramid builders of the Old Kingdom.