- #1
- 22,089
- 3,296
micromass submitted a new PF Insights post
Friends, strangers, 7825 and computers
Continue reading the Original PF Insights Post.
Friends, strangers, 7825 and computers
Continue reading the Original PF Insights Post.
This isn't like the four-color theorem. This is a computation that doesn't require any second-order logic. Beyond 7825, the induction is trivial for us humans, and we can let the computer halt. With only a finite amount of exact bead-pushing, what would such a question even mean? What could an answer to "why" be, except "I just showed you"?We don’t know what’s special about 7825 that would ruin everything.
Reference https://www.physicsforums.com/insights/friends-strangers-7825-computers/