Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: Matheology � 278
Posted:
Jun 3, 2013 2:34 PM


"Virgil" <virgil@ligriv.com> wrote in message news:virgil92B5C7.12271603062013@BIGNEWS.USENETMONSTER.COM... > In article > <1336c8c699be41f0a012a84c52c1c2ad@m18g2000vbo.googlegroups.com>, > WM <mueckenh@rz.fhaugsburg.de> wrote: > >> Matheology § 278 >> >> If, for example, our set theory includes sufficient large cardinals, >> we might count BanachTarski as a good reason to model physical space >> [...] From this I think it is clear that considerations from >> applications are quite unlikely to prompt mathematicians to restrict >> the range of abstract structures they admit. It is just possible that >> asyetunimagined pressures from science will lead to profound >> expansions of the ontology of mathematics, as with Newton and Euler, >> but this seems considerably less likely than in the past, given that >> contemporary set theory is explicitly designed to be as inclusive as >> possible. More likely, pressures from applications will continue to >> influence which parts of the settheoretic universe we attend to, as >> they did in the case of Dirac¹s delta function; in contemporary >> science, for example, the needs of quantum field theory and string >> theory have both led to the study of new provinces of the set >> theoretic universe > > For a long time, number theory was though to have no useful applications > outside of pure mathematics. > > But now would commerce would crash without it. > > So to claim, as WM so often does, that set theory will never have any > utility outside of pure mathematics, is the height of arrogance.
Arrogance or lack of knowledge ? perhaps WM is unfamiliar with Coding Theory which is heavily relient on set theory and used in all computer and digital communications. (even this post.) Or has the cheese slid off the cracker ?
> > But, of course, unwarranted arrogance is one of WM's less pleasant > characteristics >  > >



