So all possible functions are computed equally? ISTM that some functions
would take an eternity to compute and that the number of such vastly
outnumber the recursively enumerable ones.

##
Advertising

On Mon, May 13, 2013 at 6:24 PM, meekerdb <meeke...@verizon.net> wrote:
> 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 one reason why I worry about the viability of UDA (and
>> AUDA), it postulates a severely restricted subset of the possible functions
>> as ontologically primitive without a good argument as to why.
>> Just because we finite mortals can only counts in terms of natural
>> numbers is not an argument that All-that-Exists is limited to that
>> standard. Man is NOT the measure of all things!
>>
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Everything List" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/**
> topic/everything-list/K7E-**Vfwj4QU/unsubscribe?hl=en<https://groups.google.com/d/topic/everything-list/K7E-Vfwj4QU/unsubscribe?hl=en>
> .
> To unsubscribe from this group and all its topics, send an email to
> everything-list+unsubscribe@**googlegroups.com<everything-list%2bunsubscr...@googlegroups.com>
> .
> To post to this group, send email to
> everything-list@googlegroups.**com<everything-list@googlegroups.com>
> .
> Visit this group at
> http://groups.google.com/**group/everything-list?hl=en<http://groups.google.com/group/everything-list?hl=en>
> .
> For more options, visit
> https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_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 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.