> On 17 May 2019, at 09:33, Philip Thrift <[email protected]> wrote: > > > > On Friday, May 17, 2019 at 1:56:05 AM UTC-5, telmo wrote: > > > There is plenty of evidence, informally known as "the unreasonable > effectiveness of math". > > As Max Tegmark points out, all of our scientific theories (he was talking > about physics, checked out on computers) do not need infinities: > > http://blogs.discovermagazine.com/crux/2015/02/20/infinity-ruining-physics/ > <http://blogs.discovermagazine.com/crux/2015/02/20/infinity-ruining-physics/#.XN5is1NKiCQ> > > Our challenge as physicists is to discover this elegant way and the > infinity-free equations describing it—the true laws of physics. To start this > search in earnest, we need to question infinity. I’m betting that we also > need to let go of it. > > So infinity-free mathematics is what Tegmark says is the thing to do.
But that does not make any sense, except for the ontology, in which case it is required by the mechanist assumption. Then physics has to be derived from arithmetic. RA is infinity free, but the semantic of RA requires infinite. The ontology is infinity free, but the phenomenology of the finite numbers has to reintroduce infinities, even for the physics available. Bruno > > @philithrift > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/f9aec462-955c-4613-809a-398d21995141%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/f9aec462-955c-4613-809a-398d21995141%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/9A45DD2F-6140-4333-B40F-3EC6C51ACE2C%40ulb.ac.be.
