Out now: 10th MaRDI Newsletter about the Four-Color Theorem
The main article presents the exciting history of the four-color theorem. It was the first major theorem in pure mathematics whose proof relied on a computer. Its development, the reactions it generated, and its long-term impact highlight the increasing relevance of research data in modern mathematics.
The Data Date interview, introduces you to Yves Bertot, a computer scientist who maintains the official GitHub repository for the Coq implementation of the four-color theorem.
Plus: Don't miss the reports on workshops and science events, a list of upcoming NFDI-related events, and the Further Reading section on the four-color theorem.
Read and subscribe the newsletter here...
