@snek_boi@lemmy.ml
link
fedilink
1
edit-2
1d

Interesting question. What do you think, @tomasz@lemmy.ml?

Checking every possible case with a computer doesn’t give any great insight into mathematics, but proof by exhaustion is as valid a method as any other.

Mad
link
fedilink
53d

the title says “a large number of cases” which isn’t necessarily every possible case.

linking the original story or paper would have been good so we could check these things

Liwott
link
fedilink
42d

That’s the key indeed. Testing “a large number of cases” is not a proof per se, but can be proven to be sufficient, which is what happened with the four color theorem

@sexy_peach
link
fedilink
33d

No.

A loosely moderated place to ask open ended questions

If your post is

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

it’s welcome here!

  • 0 users online
  • 3 users / day
  • 55 users / week
  • 170 users / month
  • 425 users / 6 months
  • 19 subscribers
  • 520 Posts
  • 5.51K Comments
  • Modlog