6 červencových novinek, které si přibalit na dovolenou
Slunce svítí, prázdniny jsou v plném proudu a spousta z nás si dopřává...
Kniha ( měkká vazba )
Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth century provides astonishing answers to these questions.This book takes you on a journey through the core areas of mathematical logic, leading to… Přejít na celý popis
5.0 z 5 hvězdiček
Voucher5.0 z 5 hvězdiček
Voucher5.0 z 5 hvězdiček
Voucher5.0 z 5 hvězdiček
Voucher
Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?
Modern mathematical logic of the twentieth century provides astonishing answers to these questions.
This book takes you on a journey through the core areas of mathematical logic, leading to the limits of mathematics. The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel''s incompleteness theorems, computability theory, algorithmic information theory, and model theory.
The book contains numerous two-color illustrations and more than 70 exercises (with solutions available on the author''s website). This translation is based on the third edition of the original German book.
0.0 z 5 0 hodnocení čtenářů
0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička
Získejte přehled o vývoji ceny za posledních 60 dní.
Slunce svítí, prázdniny jsou v plném proudu a spousta z nás si dopřává...
Pokud vám seriál Heated Rivalry (Spalující rivalita) nedal spát a zhlédli...
Pokud nevíte, zda sáhnout po „nové Lukáškové“, váš osobní...
Tahle kniha se ke mně původně dostala jen proto, abych ji předala někomu z...
Nestihli jste naše žhavé literární odpoledne na Masarykově nádraží, nebo...
Po dočtení poslední knihy, která byla na můj vkus až příliš...
Už jste také někdy spadli do pasti algoritmu sociálních sítí? Znáte to....
Ne vždycky má člověk chuť vyrážet na nákup do obchodního centra. Někdy...
Pokud jste unavení ze všech těch varování, že světu hrozí atomová válka...