Výsledky vyhledávání
- 1.0039417 - ÚI 2007 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Kurt Godel: život, výsledky a jejich význam.
[Kurt Goedel - life, results and their significance.]
Kognice a umělý život. Opava: Slezská univerzita, 2006 - (Kelemen, J.; Kvasnička, V.), s. 47-58. ISBN 80-7248-355-2.
[Kognice a umělý život /6./. Třešť (CZ), 28.05.2006-01.06.2006]
Grant CEP: GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Kurt Goedel * věty o neúplnosti * umělá inteligence
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0133516 - 2.0039356 - MÚ 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel
Consistency and games - in search of new combinatorial principles.
[Bezespornost a hry - hledání nových kombinatorických principů.]
Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Wellesley: Association for Symbolic Logic, 2006 - (Stoltenberg-Hansen, V.; Väänänen, J.), s. 244-281. Lecture Notes in Logic, 24. ISBN 1-56881-293-0.
[Logic Colloquium 2003. Helsinki (FI), 14.08.2003-20.08.2003]
Grant CEP: GA AV ČR(CZ) IAA1019401; GA ČR(CZ) GA201/01/1195; GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: independent sentences * peano arithmetic * bounded arithmetic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0133466Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 4.6 MB Autorský postprint povolen