Kalendář akcí

15.12.2020

Adventní setkání členů US

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

23.11.20

Pozvánka na online přednášku doc. PhDr. Jana Němečka, Ph.D.: Protinacistický zahraniční odboj: obnovení československého státu v exilu"

Učená společnost ČR Vás srdečně zve na přednášku doc. PhDr. Jana Němečka, Ph.D.: Protinacistický zahraniční odboj: obnovení československého státu v exilu", která se koná v úterý 24. 11. 2020 v 16:00 hod online na YouTube: bit.ly/zahr-odboj. Dnes již na dobu druhé světové války a československý zápas za obnovu samostatnosti nahlížíme jako na něco přirozeného, ba samozřejmého, co naši předci vítězně vybojovali. Ovšem když se podíváme na prvá léta tohoto boje, vidíme, že byly okamžiky, kdy obnova Československa visela takřka na vlásku, a jen nesmírné úsilí aktérů dokázalo udržet kontinuitu československé státnosti.

Pozvánka (PDF, 323 kB)

10.11.20

Podpora Učené společnosti ze strany MFF UK, PřF UK a RUK

Na základě jednání, která probíhala v průběhu roku 2020, se zástupci MFF UK a PřF UK ve shodě s rektorátem UK dohodli se zástupci Učené společnosti České republiky na dlouhodobé podpoře snahy Učené společnosti oceňovat úspěšné české vědce a přispět k další popularizaci české vědy.

03.11.20

Úmrtí člena Učené společnosti prof. Ing. Karla Duška, DrSc., dr.h.c.

30. října 2020 zemřel ve věku 90 let zakládající člen Učené společnosti prof. Karel Dušek, významný chemik, jehož odborným zájmem byly struktura a vlastnosti makromolekul. Jedním z jeho nejdůležitějších úspěchů byla teoretická předpověď diskontinuálního fázového přechodu v gelech. Tato jeho teorie byla později též experimentálně ověřena. Mnoho let také působil v Nadačním fondu pro podporu vědy při Učené společnosti České republiky. Jeho hlavním působištěm byl Ústav makromolekurání chemie AV ČR, v. v. i. Pracoval také jako hostující profesor na univerzitách ve Francii, USA a Velké Británii. Od roku 1996 byl Karel Dušek mimořádným profesorem na katedře bioinženýrství na univerzitě v Utahu.