𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Chomp—an Introduction to Definitions, Conjectures, and Theorems

✍ Scribed by ROBERT J. KEELEY

Book ID
125450961
Publisher
National Council of Teachers of Mathematics
Year
1986
Weight
956 KB
Volume
79
Category
Article
ISSN
0025-5769

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Introduction to Godel's Theorems
An Introduction to Godel's Theorems
✍ Peter Smith 📂 Library 📅 2007 🏛 Cambridge University Press 🌐 English ⚖ 1 MB

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also