Kalendář akcí

14. – 15.05.2018

Valné shromáždění Učené společnosti

Výročí vzniku České republiky – zajišťuje IV. sekce věd humanitních

18.09.2018

Zasedání Učené společnosti

2. část: zajišťuje III. sekce věd biologicko-medicínských

27. – 30.09.2018

Odborná exkurze

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

20.04.18

Panelová diskuse “Challenges of integration in a new country. Traditions and present situation in Switzerland and in the Czech Republic.”

Učená společnost ČR a Švýcarské velvyslanectví v ČR uspořádaly 17. dubna 2018 panelovou diskusi na výše uvedené téma.

03.04.18

Pozvánka na na veřejnou přenášku prof. Ondřeje Čadka

Učená společnost ČR Vás srdečně zve na veřejnou přenášku člena Učené společnosti prof. Ondřeje Čadka (Matematicko-fyzikální fakulta UK) s názvem „Voda a led ve sluneční soustavě“. Přednáška se koná v úterý 10. dubna 2018 od 16:00 hod. v místnostech 205, 206 budovy Akademie věd ČR, Národní 3, Praha 1.
Anotace (PDF, 50 kB)

24.01.18

TOP ženy Česka

Prof. Blanka Říhová, místopředsedkyně Učené společnosti ČR, byla uvedena do síně slávy TOP ženy Česka. Prof. Blanka Říhová pracuje v Mikrobiologickém ústavu AV ČR, v. v. i., specializuje se na výzkum léčiv nádorových onemocnění; za svou práci získala řadu významných ocenění. Do Síně slávy jsou uváděny dámy, které se staly vítězkami či několikanásobnými vítězkami ankety TOP ženy byznysu a TOP ženy veřejné sféry a dlouhodobě se umisťovaly na dalších předních příčkách jednotlivých ročníků. Anketu pořádají Hospodářské noviny.

Prof. Eva Zažímalová, členka Učené společnosti ČR, se v anketě Hospodářských novin TOP ženy Česka umístila mezi nejvýznamnějšími ženami naší republiky. Získala třetí místo v kategorii veřejná sféra. Zabývá výzkumem fytohormonu auxinu – jeho metabolismem a molekulárními mechanismy jeho působení a transportu v rostlinných buňkách. Eva Zažímalová je předsedkyní Akademie věd ČR.