6 ms·
> Most non-trivial theorems about TMs are un-provable[0] Did you mean "conjectures"? Theorems need to be provable by definition, don't they?
by jimws 7y ago
> Most non-trivial theorems about TMs are un-provable[0]
Did you mean "conjectures"? Theorems need to be provable by definition, don't they?
- Quekid5 7y agoYeah, conjectures. I think I got mixed up because there's a theorem about the non-trivial-conjuectures-are-unprovable thing :)