Post #399852 25 Oct 13, 2026, 20:18 UTC The Four Colour Theorem: The first time machines mogged mathematicianshttps://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians newsletter.pessimistsarchive.org The 1st Time Machines Mogged Mathematicians In 1976 a computer upended the concept of a mathematical proofs, causing fierce debate among mathematicians. Remind you of anything?