Počet záznamů: 1
Kurt Gödel, completeness, incompleteness
- 1.0389302 - ÚI 2013 GB eng J - Článek v odborném periodiku
Hájek, Petr
Kurt Gödel, completeness, incompleteness.
Journal of Physics: Conference Series. Roč. 82, č. 1 (2007), 012005_1-012005_4. ISSN 1742-6588. E-ISSN 1742-6596.
[Brno Kurt Gödel Days. Brno, 25.04.2007-28.04.2007]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Kurt Gödel * completeness * incompleteness
Kód oboru RIV: BA - Obecná matematika
The famous results of Gödel – semantic completeness of classical (predicate) logic and deductive incompleteness of any ''reasonable'' arithmetic – are briefly presented for a reader able of elementary mathematical thinking.
Trvalý link: http://hdl.handle.net/11104/0218188
Název souboru Staženo Velikost Komentář Verze Přístup 0389302.pdf 2 629.6 KB Vydavatelský postprint povolen
Počet záznamů: 1