Název:
Kurt Godel: život, výsledky a jejich význam
Překlad názvu:
Kurt Goedel - life, results and their significance
Autoři:
Běhounek, Libor Typ dokumentu: Příspěvky z konference Konference/Akce: Kognice a umělý život /6./, Třešť (CZ), 2006-05-28 / 2006-06-01
Rok:
2006
Jazyk:
cze
Abstrakt: [cze][eng] Přehled nejdůležitějších výsledků a prací K. Gödela v oblasti metamatematiky, teorie množin, fyziky a filosofie. Zvláštní pozornost je věnována demytizaci Gödelových vět o neúplnosti a jejich důsledkům pro informatiku, umělou inteligenci, filosofii a další obory.A survey (in Czech) of K. Gödel’s most important results and works in metamathematics, set theory, physics, and philosophy. A special attention is given to de-mything Gödel’s Incompleteness Theorems and to their consequences for computer science, artificial intelligence, philosophy, and other disciplines.
Klíčová slova:
Kurt Goedel; umělá inteligence; věty o neúplnosti Číslo projektu: CEZ:AV0Z10300504 (CEP), GD401/03/H047 (CEP) Poskytovatel projektu: GA ČR Zdrojový dokument: Kognice a umělý život, ISBN 80-7248-355-2
Instituce: Ústav informatiky AV ČR
(web)
Informace o dostupnosti dokumentu:
Dokument je dostupný v příslušném ústavu Akademie věd ČR. Původní záznam: http://hdl.handle.net/11104/0133516