I would like to include the following distinction in a manuscript:
There are two styles of reasoning in mathematics:
1. analytic: structures built from a “point-set” substrate; 2. synthetic: axioms imposed directly on the available types.
At present, the only source I have found stating this distinction in this form is the nLab page on synthetic mathematics https://ncatlab.org/nlab/show/synthetic+mathematics
Could anyone point me to a published reference where this terminology or this formulation of the analytic vs. synthetic approaches is explicitly discussed?
In Greek "synthesis" means "putting together" and "analysis" means "taking apart". Immanuel Kant used these two words for a philosophical distinction that I will leave someone else to explain. By long-standing usage, "analysis" in mathematics is the study of differential equations and related matters, but I don't see what is being "taken apart". Geometry in the style of Euclid is called "synthetic" in distinction to using coordinates à la Dedekind, but I haven't heard coordinate geometry being called "analytic" and I'm not sure what Euclid was "putting together". Then Bill Lawvere, Eduardo Dubuc, Anders Kock and others studied "Synthetic Differential Geometry" by treating manifolds as objects in some suitable topos and using its logic to deduce hitherto difficult geometric theorems. After that, there were Synthetic Domain Theory, Synthetic Topology, Synthetic Recursion Theory and Synthetic Algebraic Geometry. However, I'm not sure what those topics "put together". So altogether there doesn't seem to be any clear meaning to the use of these words in mathematics, so far as I can see. Paul http://paultaylor.eu/delivery/categories-synthetic-analytic