Number of the records: 1
Kurt Gödel, completeness, incompleteness
- 1.0389302 - ÚI 2013 GB eng J - Journal Article
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]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Kurt Gödel * completeness * incompleteness
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0218188
File Download Size Commentary Version Access 0389302.pdf 2 629.6 KB Publisher’s postprint open-access
Number of the records: 1