Kalendář akcí

15.09.2020

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

2. část: zajišťuje II. sekce věd chemických Debata o etice vědecké práce a publikování; debatu povede prof. Dr. Joachim Heberle (Freie Universität Berlin)

25. – 28.09.2020

Odborná exkurze členů US do Západních Čech

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í

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

26.06.20

Členové Učené společnosti ČR podporují svobodu projevu – reakce na případ Tomáše Hudlického

„Věříme, že svobodná výměna myšlenek je klíčovou podmínkou pro hledání pravdy a že upřímně vyjádřené názory by měly být zkoumány, zpochybňovány nebo vyvraceny, ale neměly by být cenzurovány nebo potlačovány,“ říká 45 členů Učené společnosti v prohlášení, jímž reagují na okolnosti, za nichž byl stažen názorový článek prof. Tomáše Hudlického z časopisu Angewandte Chemie. Celé prohlášení je v těle zprávy.

24.06.20

Dopis Jana Konvalinky rektoru Brockovy univerzity (kauza Tomáše Hudlického)

„Názory mohou a mají být zpochybňovány, rozporovány nebo vyvraceny, ale nikdy by neměly být umlčovány. Abychom byli schopni přemýšlet, musíme mít právo ptát se, zkoumat, a dokonce se mýlit nebo se někoho dotknout,“ píše doc. Jan Konvalinka, biochemik z Ústavu organické chemie a biochemie, prorektor Univerzity Karlovy, rektoru Brockovy univerzity v dopise týkajícím se staženého článku prof. Tomáše Hudlického a reakcí, které tento článek vyvolal. Text dopisu v těle zprávy.

23.06.20

Julius Lukeš je mezi 75 vědci, kteří vyzvali k vytvoření Evropské nadace pro prevenci environmentálních a zdravotních krizí

Zatím 75 evropských vědců (včetně Françoise Barré-Sinoussiové, nositelky Nobelovy ceny za objev HIV) se podepsalo pod výzvu evropským mecenášům k vytvoření nadace pro prevenci environmentálních a zdravotních krizí. Cílem je shromáždit 20 miliard € s tím, že roční výnosy by sloužily k podpoře výzkumu souvisejícího s lidským zdravím a s životním prostředím, část základního jmění by byla k dispozici pro rychlou reakci v krizových dobách. Pod výzvou je podepsán i člen Učené společnosti České republiky, ředitel Parazitologického ústavu Biologického centra AV ČR prof. Julius Lukeš. Text výzvy je v těle zprávy.