Max Tegmark writes that the mathematics of physics in the future needs to be "infinity-free". http://blogs.discovermagazine.com/crux/2015/02/20/infinity-ruining-physics/ (Almost like it's a sin to have infinities around.) That sounds like strict finitism to me. As Manuel Bremer's paper above shows, a strictly-finite arithmetic is (likely) inconsistent, which is OK, since "inconsistent mathematics can have a branch which is applied mathematics". https://plato.stanford.edu/entries/mathematics-inconsistent/ - pt -- 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 post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.