Goedel Without (Too Many) Tears - Peter Smith - Knjige - Logic Matters - 9781916906303 - 15. junija 2021
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Peter Smith
Goedel Without (Too Many) Tears

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Peter Smith

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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 cannot prove. How is this remarkable result proved? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. Based on lecture notes for a course given in Cambridge for many years, the aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 15. junija 2021
ISBN13 9781916906303
Založniki Logic Matters
Strani 146
Dimenzije 170 × 244 × 10 mm   ·   435 g
Jezik Angleščina  

Več od Peter Smith

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Peter Smith