tomasz@lemmy.ml to

Asklemmy@lemmy.ml · 4 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?

5

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 · 4 years ago

5

Chat

sexy_peach@feddit.de
link
fedilink
arrow-up
5
arrow-down
1·
4 years ago
No.

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.

237 users / day
1.47K users / week
4.05K users / month
12K users / 6 months
14 local subscribers
54.5K subscribers
8.12K Posts
293K Comments
Modlog