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.
this post was submitted on 05 Aug 2022
8 points (90.0% liked)
Asklemmy
44687 readers
1307 users here now
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
- [email protected]: a community for finding communities
~Icon~ ~by~ ~@Double_[email protected]~
founded 5 years ago
MODERATORS
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
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
No.