• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

Hardcover

FictionPhilosophyLogic

ISBN10: 1916906346
ISBN13: 9781916906341
Publisher: Logic Matters
Published: Dec 1 2022
Pages: 156
Weight: 1.00
Height: 0.44 Width: 6.69 Depth: 9.61
Language: English

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.

Also from

Smith, Peter

Also in

Logic