Kalendář akcí

20. – 22.09.2019

Odborná exkurze

15.10.2019

Plenární zasedání Učené společnosti

2. část: zajišťuje III. sekce věd biologicko-medicínskýchPřednáška: E. Bártová: „Epigenetika a opravy DNA“

29.10.2019

Mimořádná přednáška

Zajišťuje: IV. sekce věd společenských a humanitníchJ. Pešek: „Mezinárodní kontext roku 1989“

Nadační fond

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 na seznam článků

Novinky

12.09.19

Pozvánka na veřejnou přednášku

Učená společnost České republiky Vás srdečně zve na přednášku - Prof. RNDr. Josef Michl, Ph.D. (University of Colorado Boulder, Ústav organické chemie a biochemie AV ČR, v. v. i.): „Grafenem to nekončí: dvourozměrné polymery s laditelnými vlastnostmi“. Přednáška se koná v úterý 17. 9. 2019 od 16:00 hod. v místnostech 205, 206 budovy AV ČR, Národní 3, Praha 1.
Pozvánka (PDF, 389 kB)

25.07.19

Luboš Perek slaví 100 let

26. 7. 2019 slaví své 100. narozeniny zakládající člen Učené společnosti a její doyen, astronom doc. RNDr. Luboš Perek, DrSc. Do dějin se nesmazatelně zapsal jako člověk, který pomohl definovat kosmický prostor, jako první upozornil na problematiku kosmického smetí a byl zároveň učitelem nejvýznamnějším československým astronomům. Vyslovme úctu a obdiv nad nebývalou vědeckou kariérou člověka, který neúnavně pracoval a stále pracuje. Učená společnost přeje panu doc. Perkovi do dalších let stálé zdraví, optimismus a dobrou náladu.

23.07.19

AV ČR apeluje na maďarského prezidenta, aby se zastal akademické svobody

Akademie věd ČR a Učená společnost ČR zaslaly v pátek 19. července maďarskému prezidentu Jánosovi Ánderovi dopis, v němž vyjadřují znepokojení nad situací ohledně řízení a financování maďarské vědy. Již 1. září má totiž vejít v platnost zákon, podle něhož bude o výzkumu, financování vědy a zakládání či rušení vědeckých pracovišť rozhodovat nikoli akademie věd, nýbrž třináctičlenná politická komise.