> On 2 Sep 2019, at 21:48, Philip Thrift <cloudver...@gmail.com> wrote: > > > > On Monday, September 2, 2019 at 10:57:50 AM UTC-5, Bruno Marchal wrote: > >> On 1 Sep 2019, at 17:58, John Clark <johnk...@gmail.com <javascript:>> wrote: >> >> >> I'm saying there is no such thing as numbers > > > Explain this to my tax inspector! > > > Bruno > > > > But there would be no tax collectors if such people had not come into being > (evolution from matter).
Without number, there would be no tax, nor tax inspector. I am agnostic on matter, and as a researcher in the fundamental field, I prefer to avoid an ontological commitment unless shown necessary. > > So arithmetic reality depends on there being stuff to fabricate > arithmetic-computing devices. Physical computer are universal machine only in virtue of the fact that some subset of the physical laws can implement the universal machine discovered by Turing in math, and mathematically, and eventually shown by Kleene, based on Gödel 1931, to be an arithmetical notion. I can explain to you a tun of arithmetical proposition, without the need to assume anything in physics, but I have never succeed in getting a physical explanation of what is a number, nor of what is matter, without assuming the number at the start. Bruno > > @philipthrift > > -- > 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 > <mailto:everything-list+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/c4d22fff-d234-43b3-821f-50e42783f386%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/c4d22fff-d234-43b3-821f-50e42783f386%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/A344731B-06BC-47FF-A2C6-06EA2CD65CE8%40ulb.ac.be.
