On Sat, 22 Apr 2017 at 5:20 am, John Clark <[email protected]> wrote:
> On Fri, Apr 21, 2017 at 4:33 AM, Bruno Marchal <[email protected]> wrote: > > > >> Physical computation needs matter, because a physical computation is a >> mathematical computation implemented in a physical, material, environment. >> >> But computations does not need matter, >> > > Suppose just for > the sake of argument that non-physical computations did not exist, how > would our physical world be different? There would be no difference. > Therefore either > non-physical computations > do not exist or they do but are utterly unimportant, rather like the l > uminiferous aether > . > This is equivalent to supposing that mathematical Platonism is false. > >> Mathematical computations exist in arithmetic, in the sense that they can >> be shown to exists in all interpretations of Robinson Arithmetic >> > [...] >> > > Oh no, we're back to Robinson Arithmetic > again! It's time for you to put your money where your mouth is, it's > time for you to start the > Robinson > Computer Corporation and become the richest man on earth. > > >> > >> Here you beg the question of materialism by defining "computation" by >> "physical implementation of a mathematical computation". >> > > Definitions suck. Examples rule. > > > >>> >> >>> So which ONE of us has "*THE* 1-p you"? >> >> >> > >> Both. >> > > If it can't distinguish anything then why the hell did you invent the > idiotic term?? > > 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. > -- Stathis Papaioannou -- 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.
