tomasz@lemmy.ml to

Asklemmy@lemmy.ml · 3 years ago

Mathematicians have verified the Four Colour Theorem by programming a computer to check a large number of cases. Does such a verification count as a proof?

4

8

Mathematicians have verified the Four Colour Theorem by programming a computer to check a large number of cases. Does such a verification count as a proof?

tomasz@lemmy.ml to

Asklemmy@lemmy.ml · 3 years ago

4

Chat

snek_boi@lemmy.ml
link
fedilink
arrow-up
2·
edit-2
2 years ago
Interesting question. What do you think, @tomasz@lemmy.ml?

Asklemmy@lemmy.ml

asklemmy@lemmy.ml

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !asklemmy@lemmy.ml

A loosely moderated place to ask open-ended questions

Search asklemmy 🔍

If your post meets the following criteria, it’s welcome here!

Open-ended question
Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
Not ad nauseam inducing: please make sure it is a question that would be new to most members
An actual topic of discussion

Looking for support?

Looking for a community?

Lemmyverse: community search
sub.rehab: maps old subreddits to fediverse options, marks official as such
!lemmy411@lemmy.ca: a community for finding communities

_Icon _by _{@Double_A@discuss.tchncs.de}

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1.39K users / day
3.45K users / week
7.96K users / month
19.6K users / 6 months
514 local subscribers
44.7K subscribers
7.11K Posts
328K Comments
Modlog