Kalendář akcí

20.10.2020

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

2. část: zajišťuje III. sekce věd biologicko-medicínských prof. PhDr. Petr Svobodný, Ph.D. (Ústav dějin UK a archiv UK): Manželé Coriovi: jediná Nobelova cena za lékařství pro osobnosti z českých zemí

27.10.2020

Mimořádná přednáška

zajišťuje: II. sekce věd chemických

24.11.2020

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

2. část: zajišťuje IV. sekce věd společenských a humanitních doc. Jan Němeček, DrSc. (Historický ústav AV ČR): Protinacistický zahraniční odboj: obnovení československého státu v exilu

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

17.09.20

Úmrtí zakládajícího člena Učené společnosti doc. Luboše Perka

17. září 2020 zemřel ve věku 101 let zakládající člen Učené společnosti a její doyen doc. RNDr. Luboš Perek, DrSc., dr. h. c. Patřil k našim nejvýznamnějším astronomům. 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. Narodil se 26. července 1919 v Praze. Vystudoval Přírodovědeckou fakultu Masarykovy univerzity.

15.09.20

Vyjádření Rady Učené společnosti ČR k současnému řešení pandemie COVID-19

Rada Učené společnosti ČR vyzývá Vládu České republiky, aby další postup tlumení současné koronavirové pandemie opírala výlučně o názory kompetentních odborníků z oblasti hygieny, epidemiologie a infekčního lékařství. Považujeme za nevhodné, aby zásadní rozhodnutí v tak složitých záležitostech, jakými jsou protipandemická opatření, činila vláda nekonsistentně a chaoticky. Text celého prohlášení v příspěvku...

09.09.20

Pozvánka na on-line diskusi "Etika vědecké práce"

Učená společnost Vás srdečně zve na diskusi "Etika vědecké práce". Diskuse se uskuteční 15. září 2020 od 16:00 hod. on-line na YouTube: http://etika.jdem.cz. Diskutovat budou prof. Olga Lomová (Filozofická fakulta UK), prof. Jaroslav Petr (VÚŽV), prof. Petr Slavíček (VŠCHT) a Dr. Marek Vácha (Ústav etiky 3. LF UK).
Pozvánka (PDF, 322 kB)
Záznam diskuse na YouTube