On 5/13/2013 2:49 PM, Stephen Paul King wrote:

Does the UD compute *all* functions or only those that are recursively enumerable?

It computes all of them. Brent

AFAIK, the latter, as a set, has a measure zero as a subset of the former. This is onereason why I worry about the viability of UDA (and AUDA), it postulates a severelyrestricted subset of the possible functions as ontologically primitive without a goodargument as to why.Just because we finite mortals can only counts in terms of natural numbers is not anargument that All-that-Exists is limited to that standard. Man is NOT the measure of allthings!

-- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.