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: *Scientific proof-oriented programming (S-pop)* https://codicalist.wordpress.com/2020/07/06/scientific-proof-oriented-programming-s-pop/ @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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/47655ad1-c084-4693-afa0-f5011340a1can%40googlegroups.com.
