Gödel Without (Too Many) Tears

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

Autor: Peter Smith

Limbă:

Legare: Copertă tare

Editura: Logic Matters

Disponibilitate: În depozitul extern

Expediem în 14-21 zile

95.75 lei

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

Informații despre carte

Autor

Peter Smith

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2022

Pagini

156

EAN

9781916906341

ISBN

1916906346

Enbook ID

42323382

Editura

Logic Matters

Greutate

462

Dimensiuni

175 x 250 x 13

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Gödel Without (Too Many) Tears

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și