On 14 May 2013, at 03:32, meekerdb wrote:

## Advertising

Right. It's not computing all possible functions, it's executingall possible programs - most of which don't terminate and so don'tcompute a function at all.

`It computes a partial function, undefined on some arguments, but`

`defined on possible other arguments. That's why we have to dovetail.`

`Carfeul because computing a non computable function, on an argument`

`where it is not defined, gives an infinite computation which can be a`

`relevant (for our consciousness) computable process. A bit like`

`emulating a steady evolving physical universe: it is a non stopping`

`program. By the intensional Church thesis (provable from the usual`

`one), the UD does not just compute function, it emulates all possible`

`ways to compute those functions, and thus it emulates all Turing`

`emulable processes. Amazing, but trivial, the UD computes the`

`factorial function is all manner, which includes programs emulating`

`you in passing.`

Bruno

Brent On 5/13/2013 3:30 PM, Stephen Paul King wrote:So all possible functions are computed equally? ISTM that somefunctions would take an eternity to compute and that the number ofsuch vastly outnumber the recursively enumerable ones.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 arerecursively enumerable?It computes all of them. BrentAFAIK, the latter, as a set, has a measure zero as a subset of theformer. This is one reason why I worry about the viability of UDA(and AUDA), it postulates a severely restricted subset of thepossible functions as ontologically primitive without a goodargument as to why.Just because we finite mortals can only counts in terms of naturalnumbers is not an argument that All-that-Exists is limited to thatstandard. Man is NOT the measure of all things!--You received this message because you are subscribed to a topic inthe 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 everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-l...@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. --You received this message because you are subscribed to the GoogleGroups "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-l...@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. No virus found in this message. Checked by AVG - www.avg.comVersion: 2013.0.3336 / Virus Database: 3162/6320 - Release Date:05/13/13--You received this message because you are subscribed to the GoogleGroups "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.

http://iridia.ulb.ac.be/~marchal/ -- 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.