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
512d

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
411d

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
10d

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

@sexy_peach
link
fedilink
312d

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
  • 13 users / day
  • 60 users / week
  • 173 users / month
  • 427 users / 6 months
  • 19 subscribers
  • 527 Posts
  • 5.61K Comments
  • Modlog