On Fri, Jun 7, 2019 at 1:13 PM Bruno Marchal <[email protected]> wrote:
*>> 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?* > Nothing as violent as that, it's just that I ran across that phrase a few years ago and for some reason it stuck in my head even though I couldn't make heads or tails out of of it. Does it mean I agree with you or disagree? John K Clark > > > > *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]. > 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 > <https://groups.google.com/d/msgid/everything-list/79F1B71F-4AF5-444B-8D17-07F34AED819D%40ulb.ac.be?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/CAJPayv0Zgqg7CQ3yWMDLpfpF71fNGsbHYg0M5SdPkSZDrg7dWQ%40mail.gmail.com.
