> On 7 Jun 2019, at 15:58, John Clark <[email protected]> wrote: > > > > On Thu, Jun 6, 2019 at 4:09 AM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: >> On 5 Jun 2019, at 15:22, 'Cosmin Visan' via Everything List >> <[email protected] <mailto:[email protected]>> >> wrote: >> > >> Self-reference is not what you think it is. > > > That is a weird statement, almost comical! > > I could not fail to disagree with you less.
Hmm Two negations, after a day of oral exam! You really want to kill me, don’t you? > To define recursion you must first define recursion. I don’t even see the relationship with my comment. What can I say? I have define recursion using the combinators, some month ago. I can also define/implement recursion/recursive procedure using only very elementary, arithmetic (first order arithmetic without the induction axioms). It is already much longer than with the combinators, which needed a bit more than an half-dozen posts. Now, in computer science, there is two theorems of recursion: the first one concerns extensional functions, the second one concerns the code of the functions, but again, both are verified/satisfied in elementary arithmetic. We need only to assume one universal machinery, to get them all, with all their relative implementations, to get us to the formulation of the mind-body problem, or first person view/third person reality relation problem, which indeed, as some have intuited in this list is a measure problem. You seem to assume that the universal machinery *is* the physical universe, but then you need to define it properly and explain how it selects your consciousness from all the infinitely many Turing equivalent computations realised in elementary arithmetic or/and combinator algebra. Using the physical universe, in a metaphysical discussion, to say that it is the one who makes that selection is as much informative as saying, because god made it. Bruno > > John K Clark > > > > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAJPayv2njpq83sNu%3DvP%2BBkzncBrkom1gCq28XWS2ZHnMGeS%3DVg%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv2njpq83sNu%3DvP%2BBkzncBrkom1gCq28XWS2ZHnMGeS%3DVg%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/79F1B71F-4AF5-444B-8D17-07F34AED819D%40ulb.ac.be.
