> On 25 Apr 2019, at 18:47, 'Cosmin Visan' via Everything List > <[email protected]> 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
