> On 1 May 2019, at 11:06, 'Cosmin Visan' via Everything List > <everything-list@googlegroups.com> wrote: > > Well, I invite you to formalize red in whatever logic you want, and then work > your magic for blind people and make them see red solely by understanding > your formalisation.
I can formalise the notion of universal machine, prove from mechanism + that theory of machine, that red is a non formalisable experience, like actually any first person experience. > > Good luck! You asked me something which my theory, which is not mind, but the one by the universal machine itself, can prove the impossibility. Bruno > > On Wednesday, 1 May 2019 11:37:01 UTC+3, Bruno Marchal wrote: > I know you will not do it, but formalising in first order logic would clarify > a lot. > > -- > 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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
