OK, so that would require that all programs would be simultaneously 'available' for inspection for a measure to be defined over them, no? "When" can that occur? Never! A non-halting program can not be polled for a solution.
On Mon, May 13, 2013 at 9:32 PM, meekerdb <[email protected]> wrote: > Right. It's not computing all possible functions, it's executing all > possible programs - most of which don't terminate and so don't compute a > function at all. > > Brent > > > On 5/13/2013 3:30 PM, Stephen Paul King wrote: > > 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. > > > On Mon, May 13, 2013 at 6:24 PM, meekerdb <[email protected]> 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 >> . >> To unsubscribe from this group and all its topics, 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?hl=en. >> For more options, visit 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 [email protected]. > > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > > No virus found in this message. > > Checked by AVG - www.avg.com > Version: 2013.0.3336 / Virus Database: 3162/6320 - Release Date: 05/13/13 > > > -- > 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 > . > To unsubscribe from this group and all its topics, 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?hl=en. > For more options, visit 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
