On Friday, August 30, 2019 at 1:01:08 AM UTC-5, Philip Thrift wrote: > > > > On Thursday, August 29, 2019 at 9:33:23 PM UTC-5, Alan Grayson wrote: >> >> If there are infinities in mathematics, but not in physics or in nature, >> is that a problem? AG >> > > Responses to this question might be entertaining. > > But the best answer is here: > > https://plato.stanford.edu/entries/fictionalism-mathematics/ > https://www.iep.utm.edu/mathfict/ > > @philipthrift > > > You might be interested in
*Omega++: Certified Reasoning with Infinity* http://loris-5.d2.comp.nus.edu.sg/SLPAInf/ We demonstrate how infinities improve the expressivity, power, readability, conciseness, and compositionality of a program logic. We prove that adding infinities to Presburger arithmetic enables these improvements without sacrificing decidability. We develop Omega++, a Coq-certified decision procedure for Presburger arithmetic with infinity and benchmark its performance. Both the program and proof of Omega++ are parameterized over user-selected semantics for the indeterminate terms (such as 0 * \inf). @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/71c2d987-8e9f-4a0c-820b-d6beb059a8cf%40googlegroups.com.
