> On 9 Jun 2019, at 18:03, John Clark <[email protected]> wrote: > > On Fri, Jun 7, 2019 at 1:13 PM Bruno Marchal <[email protected] > <mailto:[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?
That you agree with me, I would say. Bruno > > 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] >> <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] > <mailto:[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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAJPayv0Zgqg7CQ3yWMDLpfpF71fNGsbHYg0M5SdPkSZDrg7dWQ%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAJPayv0Zgqg7CQ3yWMDLpfpF71fNGsbHYg0M5SdPkSZDrg7dWQ%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/2EFCEC9E-F545-425B-8D63-ECEEDB24ADA1%40ulb.ac.be.
