> On 10 Jul 2019, at 23:04, 'Brent Meeker' via Everything List > <everything-list@googlegroups.com> 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 everything-list+unsubscr...@googlegroups.com. > 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/154796E0-5B55-4C16-9654-7F65772BCC4E%40ulb.ac.be.
