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

20.05.19

XXV. General Assembly of the Learned Society of the Czech Republic

The ceremonial part of the XXV. General Assembly of the Learned Society, at which the Medals of the Learned Society of the Czech Republic Societas Scientarium Bohemica Ad Laudem et Honorem and the awards of the Learned Society of the Czech Republic in the “Young Scientist” and “Grammar School Student” categories were presented, took place on Monday 20 May 2019 in the Great Hall of the Carolinum.

19.05.19

Bolzano lecture by prof. Kip S. Thorne

American physicist Kip S. Thorne, recipient of the Nobel Prize for 2017 for detection of gravitational waves, visited Prague at the invitation of he Learned Society. He held a series of “Bolzano lectures” and a lecture titled “Creating Gravitational-Wave Astronomy” for the Learned Society on 15 May 2019 in the Blue Auditorium of the Carolinum. The lecture was held with the support of the Karel Janeček Foundation and was received very enthusiastically.

07.05.19

XXV. General Assembly

The Czech Learned Society is holding its XXV. General Assembly on 20 and 21 May 2019. The Learned Society’s awards in the “Young Scientist” and “Grammar School Student” categories, Teaching Awards for pedagogic workers who promote interest in science and research at grammar schools and the Learned Society’s medals for meritorious contributions to the advance of science will be presented during a ceremony on 20 May at the Karolinum. Lectures by renowned scientists will also be presented. The second day will be reserved for the working part of the meeting, in the building of the Academy of Sciences of the Czech Republic.