Asklemmy · 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?

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?

Asklemmy · 3 years ago

5

Chat

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

Asklemmy

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.

948 users / day
3.37K users / week
8.22K users / month
20.5K users / 6 months
7.25K local subscribers
44.7K subscribers
7.02K Posts
356K Comments
Modlog