tomasz@lemmy.ml to

asklemmy@lemmy.ml · 2 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 · 2 years ago

5

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

If your post is

Open ended
Not offensive
Not regarding lemmy support (c/lemmy_support)
not ad nauseam inducing (please make sure its a question that would be new to most members)

it’s welcome here!

Visibility: Public

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

1 user / day
1 user / week
1 user / month
1 user / 6 months
2 local subscribers
2 subscribers
616 Posts
5.31K Comments
Modlog