Augustin-Louis Cauchy publie une majorité de ses recherches arithmétiques entre 1829 et 1840. Celles-ci ne sont pourtant qu’évoquées dans certaines histoires de la théorie des nombres centrées sur les lois de réciprocité ou sur la théorie des nombres algébriques. Elles y sont décrites comme contenant quelques résultats similaires à ceux de Gauss, Jacobi ou Dirichlet mais de manière incomplète et désordonnée. L’objectif de cet article est de présenter une analyse des textes arithmétiques de Cauchy publiés entre 1829 et 1840 pour (...) montrer qu’ils contiennent au contraire un ensemble cohérent de résultats en lien avec les formes quadratiques \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$4p^{\mu }=x^2+ny^2$$\end{document}, où \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p$$\end{document} est un nombre premier et \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n$$\end{document} un diviseur de \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p-1$$\end{document}. Nous discuterons également la forme particulière de ce corpus et la stratégie utilisée pour retrouver les lignes directrices du travail de Cauchy. Augustin-Louis Cauchy published most of his arithmetical research between 1829 and 1840. These are however only mentioned in some number theory history centered on reciprocity laws or on theory of algebraic numbers. They are described as containing some results similar to those of Gauss, Jacobi and Dirichlet but in a incomplete and disorganized way. The objective of this paper is to present an analysis of Cauchy’s arithmetical texts published between 1829 and 1840 to show that they contain a rather consistent set of results related to quadratic forms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$4p^{\mu } = x ^2 + ny ^2 $$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p$$\end{document} is a prime and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n$$\end{document} a divisor of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ p-1 $$\end{document}. We will also discuss the particular form of this body of texts and the strategy we used to find the guidelines of the work of Cauchy. (shrink)

Preuves d'existence, theoremes d'existence, conditions d'existence en mathematiques, on parle beaucoup d'existence, mais on ne s'accorde pas toujours sur le sens de cette notion. Traditionnellement calquee sur l'existence des realites physiques, l'existence mathematique se trouve, au XIXe siecle, plus ou moins assimilee a la notion logique de non-contradiction. Entre le realisme de la premiere conception et le formalisme de la seconde il y a tout un espace de nuances et de discussions. L'ouvrage presente la position de David Hilbert et aborde (...) les questions fondamentales de la philosophie des mathematiques: nature des objets mathematiques, mode d'existence des objets ideaux, lien entre mathematique et realite, rapport entre forme et intuition, concept et construction, autant de questions qui ont nourri le debat entre Hilbert et ses contemporains. On verra aussi comment la volonte de Hilbert de reduire logiquement tous les problemes de fondements des mathematiques opere un deplacement significatif de frontieres entre mathematiques, logique et philosophie. (shrink)