On Thu, Jun 29, 2017 at 10:58 AM, Bruno Marchal <[email protected]> wrote:
> > you just said to Adrian Chira: "Assuming there is a largest prime number > leads to a logical contradiction, but assuming free > will exists is like assuming Klogknee exists." Yes, gibberish in gibberish out. > But Robinson Arithmetic, a weak but already sigma_1 complete theory (and > thus Turing universal) is consistent with "there is a > biggest prime number". If Robinson says there is a largest prime number then Robinson is an ass. > > You were probably assuming Peano Arithmetic (which is Robinson arithmetic > + the induction axiom), No I was not making that assumption, and neither was Euclid when he showed 2500 years before Peano or Robinson were born that there is no largest prime number. > > the here-and-now 1p experience To hell with peepee!! 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]. 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.
