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

25.07.19

Luboš Perek is celebrating his 100th year

Founding fellow of the Learned Society and its doyen, astronomer doc. RNDr. Luboš Perek, DrSc, is celebrating his 100th birthday on 26 July 2019. He is an indelible part of history as the person who helped define cosmic space, he was the first to point out the issue of cosmic waste and was also a teacher to the most important Czechoslovak astronomers. Let us express our respect and admiration of the extraordinary scientific career of a person who worked tirelessly and continues to work. The Learned Society wishes Mr Perek health, optimism and joy in the oncoming years.

23.07.19

The Academy of Sciences of the Czech Republic has appealed to the Hungarian President to support academic freedom

On Friday 19 July the Academy of Sciences of the Czech Republic and the Learned Society of the Czech Republic sent a letter to Hungarian President János Ánder, in which they state their concerns regarding the situation in respect to management and funding of scientific activities in Hungary. An act, according to which not the Academy of Sciences, but a thirteen-member political committee, will decide on research, funding of scientific activities and establishment or closure of scientific workplaces, will come into force on 1 September.

07.07.19

The loss of Learned Society Fellow prof. Josef Koutecký

We regret to inform that prof. Josef Koutecký, a fellow of the Learned Society, a renowned physician and the founder of paediatric oncology in this country, passed away on 5 July 2019 at the age of 88. He founded paediatric oncology here in 1964 and a separate paediatric oncology department was then established at the Faculty Hospital in Motol, Prague in 1978.