Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof

DOI10.2307/2690104zbMath0452.00018OpenAlexW4242420896MaRDI QIDQ3898446

Thomas Tymoczko

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/2690104

zbMATH Keywords

four colour theorem

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Coloring of graphs and hypergraphs (05C15)

Related Items (2)

Limit cycles and their period detection via numeric and symbolic hybrid computations ⋮ Experimental mathematics, computers and the a priori

This page was built for publication: Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof