> On 8 Jul 2020, at 13:57, Philip Thrift <cloudver...@gmail.com> wrote: > > > > On Tuesday, July 7, 2020 at 9:10:28 AM UTC-5 Lawrence Crowell wrote: > > > I think mathematics is best when it can be used to actually calculate things, > whether that be with the physical world or in expanding areas of mathematics > itself. The one thing that always caused some distaste for axiomatic set > theory is that it often seems so detached and remote from anything else. > > LC > > Set theory (mathematics) does seem pretty irrelevant for (computational) > physics today. > > But forcing might be the way it could be:
But the links you gave us are not quite convincing for this, as it use the non standard models (which I take as a defect of first order logic) to develop a non standard notion of computation. It will be useful if Mechanism is wrong, but until there are some evidence for this, it looks a bit like advanced Sunday philosophy …. (Grin). > > Scientific proof-oriented programming (S-pop) > https://codicalist.wordpress.com/2020/07/06/scientific-proof-oriented-programming-s-pop/ > > <https://codicalist.wordpress.com/2020/07/06/scientific-proof-oriented-programming-s-pop/> Don’t hesitate to sum up your point. Forcing is just a powerful technic to build weird model of set theory. Forcing is a particular S4-like modal logic. The relation between Smullyan-Fitting “quantisation in S4” and the material mode of the self-referential machine is a bit an open problem for me. I might say more on this in some future. 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/47655ad1-c084-4693-afa0-f5011340a1can%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/47655ad1-c084-4693-afa0-f5011340a1can%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/42C32B57-18E5-4492-A7B0-0E83BFB7A3A2%40ulb.ac.be.
