#four-color-theorem on Hacker News

2 stories tagged four-color-theorem, newest first.

The Four Colour Theorem: The first time machines mogged mathematicians (newsletter.pessimistsarchive.org)

76 points by list 13 days ago | 47 comments

Pessimists Archive newsletter post on the 1976 computer-assisted proof of the Four Color Theorem and the debate it sparked among mathematicians.

four-color-theorem computer-assisted-proof mathematics history-of-computing

Screenshot of rahulilango.com: Show HN: I made a puzzle game that gently introduces my favorite math mysteries

Show HN: I made a puzzle game that gently introduces my favorite math mysteries (rahulilango.com)

954 points by MCSP 2 years ago | 164 comments

An interactive browser puzzle game where players color maps so no bordering regions share a color, introducing graph coloring and related math problems.

graph-coloring four-color-theorem mathematics puzzle-game

#four-color-theorem on Hacker News

The Four Colour Theorem: The first time machines mogged mathematicians(newsletter.pessimistsarchive.org)

Show HN: I made a puzzle game that gently introduces my favorite math mysteries(rahulilango.com)

The Four Colour Theorem: The first time machines mogged mathematicians (newsletter.pessimistsarchive.org)

Show HN: I made a puzzle game that gently introduces my favorite math mysteries (rahulilango.com)