On Fri, Dec 27, 2013 at 10:54 PM, LizR <[email protected]> wrote: > On 28 December 2013 16:44, Stephen Paul King > <[email protected]>wrote: > >> Hi Jason, >> >> "The first, second, 10th, 1,000,000th, and 10^100th, and 10^100^100th >> state of the UD's execution are mathematical facts ..." Umm, how? Godel >> and Matiyasevich would disagree! If there does not exist a program that can >> evaluate whether or not a UD substring is a faithful representation of a >> "true theorem", then how is it "a fact"? >> >> That depends on whether the UD is deterministic or not. >
It is. The evolution of any Turing machines is deterministic. > If it is, then, its Nth state is a fact. (It doesn't need to be run or > evaluated, and the Nth state may be a fact that nobody knows, like the > googolth digit of pi, assuming no one's worked that out.) > Right. :-) The fact that I remember drinking a glass of water is as much a mathematical fact about the UD, as the fact as the third decimal digit of Pi is 4. Jason -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
