On 14 May 2013, at 00:24, meekerdb wrote:

## Advertising

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.

`It computes only the computable one. But it generates all inputs and`

`streams, like in the WM duplication, it generates all sequences of W`

`and M, so the UD computes all computable functions, on all inputs/`

`oracles.`

`By comp our mind states are UD accessible, as they are brought by some`

`computations.`

Bruno

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