glen e. p. ropella wrote: > Günther Greindl wrote: > >>> Math (which is more than formal systems) can handle loopy inference >>> quite well. But the modeling vernacular can NOT handle it so well. And >>> >> which mathematics is not a formal system? If it's not formal it's not >> math I would say. >> > > Math is the linguistic construct with which one describes a formal > system. You can see this clearly if you consider that a formal system > can be completely defined in logic, as well. A formal system is just > one particular construct. Math is much larger just as logic is much larger. > If Math is a way to create nodes and augment a network of related formal systems, it doesn't mean that these transactions are against the same graph, or even that it is necessary to go to the first node of a graph to understand why it is valid to add this or that node to a large graph. If it were necessary, then I suppose Math would be `bigger' than the total set of formal systems.
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org
