Mohlo by sa vám tiež páčiť

Viac informácií o knihe Gentzen's Centenary

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 387 bodov

Anotácia knihy

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Gentzen's Centenary
• Podnázov: The Quest for Consistency
• Autor: Reinhard Kahle, Michael Rathjen
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 561
• EAN: 9783319101026
• ISBN: 3319101021
• ID: 05267073
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 866 g
• Rozmery: 30 × 155 × 30 mm
• Dátum vydania: 09. November 2015

Obľúbené z iného súdka

---

---

---