𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Toward a language theoretic proof of the four color theorem

✍ Scribed by Bobbe Cooper; Eric Rowland; Doron Zeilberger

Book ID
113411334
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
388 KB
Volume
48
Category
Article
ISSN
0196-8858

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A new proof of the 6 color theorem
A new proof of the 6 color theorem
✍ Oleg V. Borodin πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 579 KB

## Abstract In 1965 Ringel raised a 6 color problem for graphs that can be stated in at least three different forms. In particular, is it possible to color the vertices and faces of every plane graph with 6 colors so that any two adjacent or incident elements are colored differently? This 6 color p

A new proof-theoretic proof of the indep
A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem
✍ Lorenzo Carlucci πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 370 KB

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ΓΏgures via an appropriate translation from derivations to hydras.

A digest of the four color theorem
A digest of the four color theorem
✍ Frank R. Bernhart πŸ“‚ Article πŸ“… 1977 πŸ› John Wiley and Sons 🌐 English βš– 949 KB

## Abstract A major event in 1976 was the announcement that the Four Color Conjecture (4CC) had at long last become the Four Color Theorem (4CT). The proof by W. Haken, K. Appel, and J. Koch is published in the __Illinois Journal of Mathematics__, and their two‐part article outlines the nature and