.

0 (hodnocen0 x )

(5.3) Půjčeno:16x 

BK

Vyd. 1.

Praha : Academia, 2003

308 s. ; 21 cm

ISBN 80-200-1068-8 (váz.)

angličtina

Přeloženo z angličtiny

Obsahuje předmluvu, údaje o autorovi a Kurtu Gödelovi

Logika - výklady populární

000069282

Obsah // Předmluva ... 9 // Část I. Možná vás to překvapí!... 13 // 1. Zapeklitý hlavolam... 15 // 2. Profesorovo překvapení ... 20 // Část II. Logika lhaní a pravdomluvnosti... 25 // 3. Sčítač lidu ... 27 // 4. Hledání Oony... 35 // 5. Meziplanetární motanice... 40 // Část III. Poctivci, padouši a výroková logika ... 49 // 6. Špetka výrokové logiky... 51 // 7. Poctivci, padouši a výroková logika... 62 // 8. Logický uzávěr a bezespornost ... 69 // Část IV. Dejme si pozor! ... 81 // 9. Paradoxní?... 83 // 10. Problémy se prohlubují... 94 // Část V. Potíže s bezesporností ...103 // 11. Logikové, kteří přemýšlejí sami o sobě ...105 // 12. Potíže s bezesporností...116 // 13. Gôdelovské systémy...123 // 14. Další trampoty s bezesporností...129 // 7 // Část VI. Sebenaplňující víra a Löbova věta...137 // 15. Sebenaplňující víra ...139 // 16. Rádžův diamant ...152 // 17. Lobův ostrov...159 // Část VIL Pouštíme se do hlubších vod...167 // 18. Logikové typu G...169 // 19. Skromnost, reflexivita a stabilita...179 // Část VIII. Nedá se to rozhodnout!...187 // 20. Navěky nerozhodnuto...189 // 21. Další nerozhodnutelné výroky!...197 // Část IX. Možné světy ...203 // 22. Co když je to jinak? ...205 // 23. Možné světy ...213 // 24. Od nutnosti ? dokazatelnosti...220 // Část X. Jádro věci ...225 // 25. Gôdelizované univerzum...227 // 26. Několik pozoruhodných logických strojů...236

27. Modálni systémy aplikovány samy na sebe...248 // Část XI. Finále...257 // 28. Modálni systémy, stroje a logikové...259 // 29. Někteří logikové jsou podivní! ...266 // 30. Závěrečné shrnutí...274 // Přehled symboliky a definic ...280 // O moderní logice, metamatematice a logice dokazatelnosti...284 // 8

(OCoLC)56869196

cnb001197119