Kalendář akcí

21.11.2017

Zasedání Učené společnosti

2. část: zajišťuje II. sekce věd chemických

28.11.2017

Veřejná přednáška ze série přednášek Františka Palackého

Zajišťuje IV. sekce věd společenských a humanitních Přednášku „Vstup křesťanství do velkého světa. Judaism, Christianity, Gnosticism in Antiquity or describing a landscape without traditional maps“ pronese prof. Christoph Markschies (Humboldt-Universität zu Berlin).

11.12.2017

Veřejná přednáška „Česká stopa v kanadské Arktidě“

ajišťuje III. sekce věd biologicko-medicínských prof. Josef Svoboda (zahraniční člen US): „Česká stopa v kanadské Arktidě“

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

08.11.17

Veřejná přednáška „Česká stopa v kanadské Arktidě“

Učená společnost Vás srdečně zve na veřejnou přednášku, která se koná 11. prosince 2017 od 16:00 hod. v místnostech 205, 206 budovy Akademie věd ČR, Národní 3, Praha 1. Přednášku s názvem „Česká stopa v kanadské Arktidě“ pronese zahraniční člen Učené společnosti prof. Josef Svoboda (University of Toronto, Canada).

08.11.17

Inaugurační přednáška v sérii „Přednášky Františka Palackého“ - přednáška prof. Christopha Markschiese

Učená společnost Vás srdečně zve na inaugurační přednášku „Vstup křesťanství do velkého světa. Judaism, Christianity, Gnosticism in Antiquity or describing a landscape without traditional maps“ v sérii přednášek Františka Palackého, která proběhne 28. 11. 2017 od 16:00 hod. v místnostech 205, 206 budovy Akademie věd ČR, Národní 3, Praha 1. Přednášku pronese prof. Christoph Markschies (Humboldt-Universität zu Berlin). Prof. Markchies bude hovořit o křesťanství od konce 1. do 3. století, kdy ještě nebylo jasné, zda se stane rozhodujícím duchovním proudem tehdy (z našeho hlediska) známého světa. Taková analýza umožní najít ty skutečnosti a s nimi spojené tradice, které se v dějinách osvědčily a mohly by pomoci i nám. Přednáška bude pronesena v angličtině a tlumočena do češtiny.

02.11.17

Odborná exkurze Učené společnosti České republiky

V termínu 28. 9. – 1. 10. 2017 uspořádala Učená společnost pro své členy v pořadí již šestou odbornou exkurzi, tentokrát na Táborsko a Třeboňsko. Členové navštívili Kozí hrádek, město Tábor s Bechyňskou bránou, hradem Kontov a Husitským muzeem, Sezimovo Ústí s památníkem prezidenta Dr. Edvarda Beneše, dále pak Veselská Blata se stavbami ve slohu tzv. selského baroka.