> On 25 Apr 2019, at 18:47, 'Cosmin Visan' via Everything List > <everything-list@googlegroups.com> wrote: > > > > On Thursday, 25 April 2019 18:21:33 UTC+3, Bruno Marchal wrote: > > You forget the quote. I am not sure what is not self-reference, given that I > have given two definitions (third person self-reference and first person > self-reference, and I have explained the link between (G* proves that they > are equivalent, but that the machine cannot see this, making the first person > rather mysterious, yet necessarily so). > > There is only 1 definition: the referring-back-at-itself that the Self does > from its own internal first-person perspective.
That is captured by the modal nuance “[]p & p”, with “[]” being Gödel’s probability predicate, and p being an arithmetical sentences. Unlike the logic of “[]”, it obeys to the logic S4, which is the logic of knowledge. It makes also the first person “I” non definable by the machine, yet easy to use, as I will illustrate with some thought experience, when I have a bit more time. The key is that []p & p is equivalent to []p, but the equivalence is not accessible by the machine, so that despite all modes of self-reference refer really to the same truth, it obeys many different logic and mathematics. The first person obeys to intutionistit logic, and the first person-plural, as well as quanta and qualia obeys quantum logics. > Everything else is just words-play. You should not say negative things, when it is clear you have not study alternate theories. > > > No. It is after 30 years of work, and it has been defended as a PhD thesis in > mathematics/computer science in 1998. > > What does your number theory has to do for example with color red ? The colour red is the first person quality accessible to a number when the number is in relation to some number relations (like those describing by the frequencies of some Electro-Magnetic wave) in a certain type of computations. The explanation is not different from yours, except that consciousness is explained, and not assumed. Of course I can only sum up here. I have provide longer explanation, but you can find them in my papers. Bruno > > > -- > 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.
