Calendar

23.04.2019

Meeting

2nd segment: arranged by Section I, Mathematics and Physical Sciences Lecture: Prof. RNDr. Martin Loebl, CSc. (Charles University Faculty of Mathematics and Physics): “Paths”The lecture is to be held on 23 April 2019 from 4:00 pm in rooms 205 and 206 of the Czech Academy of Sciences building, Národní 3, Prague 1.

20. – 21.05.2019

XXV AGM

20. 5 Karolinum – all day, evening: Vila Lanna21. 5. CAS building, all day

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

27.03.19

International Society on General Relativity and Gravitation elects prof. Jiří Bičák a Fellow

The International Society on General Relativity and Gravitation was founded in 1971 with the objective of promoting the study of general relativity and gravitation, and its application in astrophysics and cosmology. It currently has over 1500 registered individual members, alongside a number of national companies.

14.03.19

Invitation to a Learned Society plenary lecture open to the public

The Learned Society warmly invites you to a lecture by Prof. RNDr. Martin Loebl, CSc. (Charles University Faculty of Mathematics and Physics): “Paths”
The lecture is to be held on 23 April 2019 from 4:00 pm in rooms 205 and 206 of the Czech Academy of Sciences building, Národní 3, Prague 1.

10.03.19

Declaration of support for the student climate strikes

Declaration by the below signed members of the Learned Society and other scientists giving their support for the 15 March 2019 student climate strikes
Declaration (PDF, 36 kB)