> On 19 Dec 2018, at 18:35, John Clark <[email protected]> wrote: > > On Wed, Dec 19, 2018 at 12:21 PM Bruno Marchal <[email protected] > <mailto:[email protected]>> wrote: > > > To each phi_i you can associate phi_i, s, which on input j will [...] > > Without using matter/energy or the laws of physics how can you associate > anything with anything?
The function 1/2 (m+n)(m+n+1) + m associates each natural number with each couple (n, m) of natural numbers. No physical hypothesis at all is needed to prove that result. Of course I have to make the hypothesis of the existence of the net to make you aware of this, but that is not part of the mathematical association (to prevent level confusion). > > > The state of mind are indexical. > > Without matter/energy or the laws of physics how did you create the index, By using the only assumption I have given. Read the combinators thread for details, of just use the RA axioms, which provides the index freely and immediately (0, s(0), s(s(0)), …). > and how did you determine that the index used was the correct one, that is to > say the one that does what you want it to do? I cannot do that, nor can I determine my own pshycial brain, but my brain can do that for me. Same in arithmetic. Bruno > > John K Clark > > -- > 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.
