Gödel Without (Too Many) Tears

Name: Gödel Without (Too Many) Tears
Brand: Logic Matters
SKU: 9781916906341
Price: 402 CZK
Availability: InStock

Autor: Peter Smith

Jazyk:

Vazba: Pevná

Vydavatel: Logic Matters

Dostupnost: Skladem u dodavatele

Odesíláme za 14-21 dnů

402 Kč

Kurt Gödel's famous First Incompleteness Theorem shows that, for any sufficiently rich theory that c...

Informace o knize

Autor

Peter Smith

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2022

Stránek

156

EAN

9781916906341

ISBN

1916906346

Enbook ID

42323382

Vydavatel

Logic Matters

Hmotnost

462

Rozměry

175 x 250 x 13

Kompletní popis

Kurt Gödel's famous First Incompleteness Theorem shows that, for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Gödel Without (Too Many) Tears

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také