[jimws]

> 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]

Yeah, conjectures. I think I got mixed up because there's a theorem about the non-trivial-conjuectures-are-unprovable thing :)