Original title: Kurt Godel: život, výsledky a jejich význam
Translated title: Kurt Goedel - life, results and their significance
Authors: Běhounek, Libor
Document type: Papers
Conference/Event: Kognice a umělý život /6./, Třešť (CZ), 2006-05-28 / 2006-06-01
Year: 2006
Language: cze
Abstract: [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.
Keywords: Kurt Goedel; umělá inteligence; věty o neúplnosti
Project no.: CEZ:AV0Z10300504 (CEP), GD401/03/H047 (CEP)
Funding provider: GA ČR
Host item entry: Kognice a umělý život, ISBN 80-7248-355-2

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0133516

Permalink: http://www.nusl.cz/ntk/nusl-35398


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers