# procedure-based (as opposed to definition-based) concepts

Euler's work on divergent series was guided by computational procedures, rather than any definition of the "value" of such a series. E.g., he was happy to have half a dozen procedures that indicated that $0!-1!+2!-3!+\dots$ equals 0.59637..., even though he had no definition of what an expression like $0!-1!+2!-3!+\dots$ means.

This style of mathematics is not very common nowadays; some purists would say you're not even doing math if you can't give a definition of the objects you're studying. But I don't think many people would disparage the work of Renaissance algebraists who studied complex numbers without benefit of the modern concept of complex numbers as ordered pairs.

What are some good modern examples of mathematical research in which one is guided by computational procedures that seem to give mutually consistent results, rather than by definitions of what the procedures are purportedly computing? (I suspect that quantities that physicists computed in the late 20th century using ad hoc regularization techniques would be one class of examples.)

Feel free to make this a Community Wiki (I'm still not sure when this is appropriate).

-
Extensional semantics in computer science are regularly investigated. These are typically fixed point theories and are typical of many denotational programmes. In these semantics, the topics being investigated are things like (partial) correctness. Intensional semantics programmes, on the other hand, look at program definition and can be used to reason about computational complexity and related features of the procedures. I think that is likely the best formal framework in which to view your question. –  ex0du5 Jul 2 at 18:38
Unfounded methods which give results are great (today too) but with the understanding that it is a temporary imperfect state of affairs. Simple tautology. –  Wlodzimierz Holsztynski Jul 2 at 19:12
I've made this community wiki --- our usual rule is that if you're asking for many different answers, without the possibility of one definitive one, it should be community wiki so everyone can vote answers up and down to help reorder them, without reputation side effects. –  Scott Morrison Jul 2 at 23:19

Having mentioned Euler and twentieth century physicists in the question, Pierre Cartier's 'Mathemagics? (A Tribute to L. Euler and R. Feynman)' should provide good cases for you.

My thesis is: there is another way of doing mathematics, equally successful, and the two methods should supplement each other and not fight.

This other way bears various names: symbolic method, operational calculus, operator theory . . . Euler was the first to use such methods in his extensive study of infinite series, convergent as well as divergent. The calculus of differences was developed by G. Boole around 1860 in a symbolic way, then Heaviside created his own symbolic calculus to deal with systems of differential equations in electric circuitry. But the modern master was R. Feynman who used his diagrams, his disentangling of operators, his path integrals . . . The method consists in stretching the formulas to their extreme consequences, resorting to some internal feeling of coherence and harmony.

Presumably you already know of John Baez The Mysteries of Counting: Euler Characteristic versus Homotopy Cardinality

-

The idea of $\mathbb{F}_1$, the field with one element, might fit the spirit of the question. (If you feel it does not, please, let me know and I will remove the contribution.)

The idea that there should be a mathematical object resembling a finite field with a single element was put forward by Tits in the 1950s. Having a satisfactory theory of the 'field with one element' might allow progress on major mathematical problems (in number theory in particular), as it could allow to adapt the proofs of results, such as the Riemann-Hypothesis, known in the 'geometric case' (e.g., curves over finite fields), to the 'arithmetic case' (e.g., integers).

Various investigations related to this were and are undertaken. One could thus say there is mathematics on a concept without it being defined. For a recent contribution see for example Fun with $\mathbb{F}_1$ by Alain Connes, Caterina Consani, Matilde Marcolli.

-