> On 10 Jul 2019, at 23:04, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 7/10/2019 7:59 AM, Bruno Marchal wrote: >> The machine define by the two following equations Kxy = x and Sxyz = xz(yz) >> + S ≠ K, and with the combinator induction axiom (that I gave some posts >> ago) is already as much conscious than you and me. > > Which in it self is a reductio of your theory.
Why? If you agree with the definition of consciousness that I have given (true, knowable, non provable, non definable without invoking truth) then SK+induction *is* provably conscious, and indeed has the G/G* theology applicable to it. Bruno > > Brent > > -- > 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/fe5eab19-ad4f-c9ed-1623-3a0ca71f043e%40verizon.net. -- 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/154796E0-5B55-4C16-9654-7F65772BCC4E%40ulb.ac.be.
