On Fri, Oct 9, 2015 at 6:56 AM, Bruno Marchal <[email protected]> wrote:
> > >>> >> >>> Sigma_1 complete provability is Turing universal, >> >> > >> >> But the proof or that can't compute one damn thing! >> >> No proof can. > > > > That is false. Sigma_1 provability can compute > Then for god's sake stop blabbing about it and just do it! Start the Sigma_1 Computer Corporation and drive INTEL into bankruptcy; they could never compete with your zero manufacturing costs. > > > No physical assumption is needed, > And no computation is performed. > > By definition, if those computations did not exist in arithmetic, they > would not exist in the physical reality either. > To hell with definitions they can't make calculations; if computations did not exist in the physical world arithmetic would not exist! 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 http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
