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
62M

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
52M

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

@snek_boi@lemmy.ml
link
fedilink
2
edit-2
2M

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

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
  • 31 users / day
  • 75 users / week
  • 114 users / month
  • 509 users / 6 months
  • 19 subscribers
  • 338 Posts
  • 3.11K Comments
  • Modlog