In mathematics, the four color theorem, or the four... | Devine Lu Linvega

Devine Lu Linvega's posts Post Back to profile

Devine Lu Linvega

In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color.
https://en.wikipedia.org/wiki/Four_color_theorem

Like 9 Jun 2023 at 15:53 | Open on merveilles.town

7 comments

Capital

@neauoire :: Huh, I never new that this was the first computer-assisted proof.

9 Jun 2023 at 19:00 | Open on furry.engineer

Xavier Van de Woestyne

@neauoire coq, written in ocaml, rules !!

10 Jun 2023 at 0:34 | Open on merveilles.town

Devine Lu Linvega

@xvw You'll be proud of me. I've written a bit of ocaml last week for a project. I've even set it up on the pinebook.

10 Jun 2023 at 1:12 | Open on merveilles.town

Xavier Van de Woestyne

10 Jun 2023 at 3:03 | Open on merveilles.town

Mark

@neauoire This was one of the first complex algorithms I’d ever coded way way back, in Pascal and all 🙂

10 Jun 2023 at 2:45 | Open on bne.social

Kube

@neauoire a very very cool+related blogpost dropped today! perfect timing https://puzzlezapper.com/blog/2023/06/can-3%C2%BD-colors-suffice/

(this whole blog's worth a dive)

10 Jun 2023 at 7:26 | Open on io.pace.rip

@neauoire On a plane. You seem like the sort of person that would be interested in other topologies (like the torus).

11 Jun 2023 at 16:24 | Open on typo.social