arXiv: History and Overview 

About: arXiv: History and Overview is an academic journal. The journal publishes majorly in the area(s): Mathematical proof & Infinitesimal. Over the lifetime, 1993 publications have been published receiving 9149 citations.

On proof and progress in mathematics

Abstract: In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.

Exact Categories

Abstract: We survey the basics of homological algebra in exact categories in the sense of Quillen All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma We briefly discuss exact functors, idempotent completion and weak idempotent completeness We then show that it is possible to construct the derived category of an exact category without any embedding into abelian categories and we sketch Deligne's approach to derived functors The construction of classical derived functors with values in an abelian category painlessly translates to exact categories, ie, we give proofs of the comparison theorem for projective resolutions and the horseshoe lemma After discussing some examples we elaborate on Thomason's proof of the Gabriel-Quillen embedding theorem in an appendix

Two notes on notation

Abstract: The author advocates two specific mathematical notations from his popular course and joint textbook, "Concrete Mathematics". The first of these, extending an idea of Iverson, is the notation "[P]" for the function which is 1 when the Boolean condition P is true and 0 otherwise. This notation can encourage and clarify the use of characteristic functions and Kronecker deltas in sums and integrals. The second notation puts Stirling numbers on the same footing as binomial coefficients. Since binomial coefficients are written on two lines in parentheses and read "n choose k", Stirling numbers of the first kind should be written on two lines in brackets and read "n cycle k", while Stirling numbers of the second kind should be written in braces and read "n subset k". (I might say "n partition k".) The written form was first suggested by Imanuel Marx. The virtues of this notation are that Stirling partition numbers frequently appear in combinatorics, and that it more clearly presents functional relations similar to those satisfied by binomial coefficients.

At the origins and in the vanguard of peri-dynamics, non-local and higher gradient continuum mechanics. An underestimated and still topical contribution of Gabrio Piola

Abstract: Gabrio Piola's scientific papers have been underestimated in the mathematical-physics literature. Indeed a careful reading of them proves that they are original, deep and far reaching. Actually -even if his contribution to mechanical sciences is not completely ignored- one can undoubtedly say that the greatest part of his novel contributions to mechanics, although having provided a great impetus and substantial influence on the work of many preminent mechanicians, is in fact generally ignored. It has to be remarked that authors [10] dedicated many efforts to the aim of unveiling the true value of Gabrio Piola as a scientist; however, some deep parts of his scientific results remain not yet sufficiently illustrated. Our aim is to prove that non-local and higher gradient continuum mechanics was conceived already in Piola's works and to try to explain the reasons of the unfortunate circumstance which caused the erasure of the memory of this aspect of Piola's contribution. Some relevant differential relationships obtained in Piola [Piola, 1845-6] are carefully discussed, as they are still nowadays too often ignored in the continuum mechanics literature and can be considered the starting point of Levi-Civita's theory of Connection for Riemannian manifolds.

On a new limit theorem in probability theory (Translation of 'Sur un nouveau théorème-limite de la théorie des probabilités')

Abstract: This is a translation of Harald Cram\'er's article, 'On a new limit theorem in probability theory', published in French in 1938 and deriving what is considered by mathematicians to be the first large deviation result. My hope is that this translation will help disseminate this historically important work, 80 years after its publication.