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. 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.) -- 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.
