On Friday, April 18, 2014 3:23:13 AM UTC-4, Bruno Marchal wrote: > > > On 16 Apr 2014, at 20:10, Craig Weinberg wrote: > > What generates Platonia? > > > > Nothing generates Platonia, although addition and multiplication can > generate the comp-relevant part of platonia, that is the UD or equivalent. > > Elementary arithmetic cannot be justified by anything less complex (in > Turing or logical sense). It is the minimum that we have to assume to start. >
Saying that elementary arithmetic is the minimum that we have to start doesn't make sense to me. Elementary arithmetic depends on many less complex expectations of sequence, identity, position, motivation, etc. I keep repeating this but I don't think that you are willing to consider it scientifically. Craig > > Bruno > > http://iridia.ulb.ac.be/~marchal/ > > > > -- 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
