no. 1
La fonction inaugurale de La Géométrie de Descartes
Revue d'histoire des mathématiques, Tome 18 (2012) no. 1, pp. 67-156.

Cet article introduit les notions de textes et d’énoncés inauguraux pour désigner les textes et les énoncés dont la fonction est d’inaugurer des représentations tenues pour conformes. Ces notions une fois définies, expliquées et discutées, on établit que La Géométrie de Descartes est un texte inaugural dont la particularité est d’inaugurer simultanément plusieurs représentations. On montre que la résolution des problèmes sémiotiques inhérents à ces inaugurations rend compte de la progression et de la structure du texte de Descartes. La fonction du problème de Pappus est en particulier reconsidérée dans cette perspective. Les enjeux et conséquences épistémologiques et historiographiques de ces notions et de ces résultats sont ensuite brièvement présentés.

This article introduces the concept of inaugural text, resp. inaugural statement, to designate texts, resp. statements, whose function is to inaugurate representations supposed to be faithful. Having defined, explained, and discussed these concepts, we subsequently establish that Descartes’ La Géométrie is an inaugural text in our sense, whose characteristic is to inaugurate several representations. We show that solving the semiotic problems inherent in these inaugurations can explain the progress and structure of Descartes’ text. For instance, the function of Pappus’s problem is reconsidered in this perspective. To conclude, epistemological and historiographical issues and implications of our concepts and results are presented.

Classification : 01A45, 01A85
Mot clés : La Géométrie de Descartes, sémiotique, historiographie, fondements des mathématiques, algèbre, géométrie, textes inauguraux
Keywords: Descartes’ La Géométrie, semiotics, historiography, foundations of mathematics, algebra, geometry, inaugural texts 
@article{RHM_2012__18_1_67_0,
     author = {Herreman, Alain},
     title = {La fonction inaugurale de {\protect\emph{La} {G\'eom\'etrie}} de {Descartes}},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {67--156},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {18},
     number = {1},
     year = {2012},
     mrnumber = {2987371},
     zbl = {1266.01014},
     language = {fr},
     url = {http://www.numdam.org/item/RHM_2012__18_1_67_0/}
}
TY  - JOUR
AU  - Herreman, Alain
TI  - La fonction inaugurale de La Géométrie de Descartes
JO  - Revue d'histoire des mathématiques
PY  - 2012
SP  - 67
EP  - 156
VL  - 18
IS  - 1
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/RHM_2012__18_1_67_0/
LA  - fr
ID  - RHM_2012__18_1_67_0
ER  - 
%0 Journal Article
%A Herreman, Alain
%T La fonction inaugurale de La Géométrie de Descartes
%J Revue d'histoire des mathématiques
%D 2012
%P 67-156
%V 18
%N 1
%I Société mathématique de France
%U http://www.numdam.org/item/RHM_2012__18_1_67_0/
%G fr
%F RHM_2012__18_1_67_0
Herreman, Alain. La fonction inaugurale de La Géométrie de Descartes. Revue d'histoire des mathématiques, Tome 18 (2012) no. 1, pp. 67-156. http://www.numdam.org/item/RHM_2012__18_1_67_0/

[Adams 1983] Adams (Roderick G.) – A History of the Theory of Recursive Functions and Computability, Thèse, The Hatfield Polytechnic, 1983. | Zbl

[Bonasoni 1575] Bonasoni (Paolo) – Algebra Geometrica, 1575.

[Bos 1981] Bos (Hendrik Jan Maarten) – On the representation of curves in Descartes’ géométrie, Archive for history of exact sciences, 24(4) (1981), p. 295–338. | MR | Zbl

[Bos 1992] Bos (Hendrik Jan Maarten) – Descartes, Pappus’ Problem and the Cartesian Parabola : a conjecture, dans Harman (P. M.) & Shapiro (Alan E.), éd., An investigation of difficult things - Essays on Newton and the History of the Exact Sciences, Cambridge : Cambridge Univ. Press, 1992, p. 71–96. | MR

[Bos 1998] Bos (Hendrik Jan Maarten) – La structure de la Géométrie de Descartes, Revue d’histoire des sciences, 51 (1998), p. 291–318. | MR | Zbl

[Bos 2001] Bos (Hendrik Jan Maarten) – Redefining geometrical exactness : Descartes’ transformation of the early modern concept of construction, Sources and Studies in the History of Mathematics and Physical Sciences, Springer, 2001. | MR | Zbl

[Boyer 1956] Boyer (Carl B.) – History of analytic geometry, Scripta Mathematica Studies, vol. 6–7, New York : Yeshiva University, 1956. | MR | Zbl

[Brigaglia & Nastasi 1986] Brigaglia (Aldo) & Nastasi (Pietro) – Le reconstruzioni apolloniane in Viète e in Ghetaldi, Bolletino di storia delle scienze matematiche, 6 (1986), p. 83–134. | MR | Zbl

[Chuquet 1484] Chuquet (Nicolas) – La Géométrie, 1484.

[Church 1936] Church (Alonzo) – An unsolvable problem of elementary number theory, American Journal of Mathematics, 58 (1936), p. 345–363. | JFM | MR | Zbl

[Cifoletti 1992a] Cifoletti (Giovanna) – Mathematics and rhetoric : Peletier and Gosselin and the making of the French algebraic tradition, Thèse, Princeton University, 1992.

[Cifoletti 1992b] Cifoletti (Giovanna) – Quaestio sive aequatio : the notion of problem in Descartes’s Regulae, 1992 ; in [Cifoletti 1992a, p. 292–340].

[Cifoletti 1995] Cifoletti (Giovanna) – La question de l’algèbre. Mathématiques et rhétorique des hommes de droit dans la France du xvie siècle, Annales histoire, sciences sociales, 50(6) (1995), p. 1385–1416.

[Cifoletti 1996] Cifoletti (Giovanna) – The Creation of the History of Algebra in the Sixteenth Century, 1996 ; in [Goldstein et al. 1996 Goldstein, Gray & Ritter, p. 123–142]. | MR | Zbl

[Davis 1965] Davis (Martin), éd. – The Indecibable. Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Hewlitt, N.Y. : Raven Press, 1965. | MR | Zbl

[Descartes 1637] Descartes (René) – La Géométrie, 1637 ; cité d’après le vol. VI de [Descartes 1964–1974]. | EuDML | JFM

[Descartes 1964–1974] Descartes (René) – Œuvres de Descartes, Paris : Vrin, 1964–1974.

[Euclide 1990] Euclide – Les Eléments. Volume 1. Introduction générale Livres I à IV, Paris : PUF, 1990. | MR

[Fermat 1636] Fermat (Pierre De) – Ad locos planos ete solidos isagoge, 1636.

[Flament & Nabonnand 2011] Flament (Dominique) & Nabonnand (Philippe) – Justifier en mathématiques, Paris : Éditions de la MSH, 2011. | Zbl

[Fourier 1822] Fourier (Joseph) – Théorie analytique de la chaleur, Paris : Firmin Didot, père et fils, 1822. | JFM | MR

[Frege 1879] Frege (Gottlob) – Begriffschrift, eine der arithmetischen nachgebildeten Formelsprachen des reinen Denkens, Halle : Louis Nebert, 1879.

[Giusti 1992] Giusti (Enrico) – Algebra and geometry in Bombelli and Viète, Bolletino di storia delle scienze matematiche, 12(2) (1992), p. 303–328. | MR | Zbl

[Giusti 2000] Giusti (Enrico) – La naissance des objets mathématiques, Paris : Ellipses, 2000.

[Gödel 1946] Gödel (Kurt) – Remarks before the Princeton bicentennial conference on problems in mathematics, 1946.

[Goldstein 2001] Goldstein (Catherine) – L’expérience des nombres de Bernard Frenicle de Bessy, Revue de synthèse, 122(2–4) (2001), p. 425–454.

[Goldstein 2008] Goldstein (Catherine) – How to generate mathematical experimentation and does it provide mathematical knowledge ?, dans Feest (U.) & others, éd., Generating Experimental Knowledge, 2008, p. 61–85.

[Goldstein 2010] Goldstein (Catherine) – Un arithméticien contre l’arithmétisation : les principes de Charles Hermite, 2010 ; in [Flament & Nabonnand 2011]. | Zbl

[Goldstein et al. 1996 Goldstein, Gray & Ritter] Goldstein (Catherine), Gray (Jérémy) & Ritter (Jim) – L’Europe mathématique, Paris : Éditions de la MSH, 1996. | Zbl

[Granger 1980] Granger (Gilles-Gaston) – La notion de contenu formel, dans « Information et signification », Colloque international de philosophie des sciences, 23–30 novembre 1980, Brest, 1980, p. 137–163 ; repris dans [Granger 1994].

[Granger 1994] Granger (Gilles-Gaston) – Formes, opérations, objets, Mathésis, Paris : Vrin, 1994. | MR | Zbl

[Harris 1981] Harris (Roy) – The Language Myth, Londres : Duckworth, 1981.

[Harris 1998] Harris (Roy) – Introduction to integrational linguistics, Oxford : Pergamon Press, 1998.

[Hay 1988] Hay (Cynthia), éd. – Mathematics from Manuscript to Print 1300-1600, Oxford : Oxford Univ. Press, 1988. | MR | Zbl

[Herreman 2000] Herreman (Alain) – La topologie et ses signes. Eléments pour une histoire sémiotique des mathématiques, Paris : L’Harmattan, 2000. | Zbl

[Herreman 2001] Herreman (Alain) – La mise en texte mathématique : une analyse de l’« Algorisme de Frankenthal », Methodos, 1 (2001), p. 61–100.

[Herreman 2005] Herreman (Alain) – Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité, Philosophia Scientiae, 9(2) (2005), p. 165–187. | EuDML

[Herreman 2009] Herreman (Alain) – Linguistique intégrationniste et histoire sémiotique des mathématiques, 2009 ; http://linguistique-integrationniste.alainherreman.fr.

[Herreman 2010] Herreman (Alain) – Enoncés et textes inauguraux. Sur un type d’énoncé et de texte mathématiques, 2010 ; http://inauguration.alainherreman.fr.

[Hilbert & Ackermann 1928] Hilbert (David) & Ackermann (Wilhelm) – Grundzüge der theoretischen Logik, Berlin : Springer, 1928. | JFM | MR

[Israel 1998] Israel (Giorgio) – Des Regulae à la Géométrie, Revue d’histoire des sciences, 51 (1998), p. 183–236. | MR | Zbl

[Jullien 1996] Jullien (Vincent) – Descartes. La Géométrie de 1637, Philosophies, PUF, 1996. | MR | Zbl

[Kleene 1943] Kleene (Stephen Cole) – Recursive predicates and quantifiers, Transactions of the AMS, 53 (1943), p. 41–73. | MR | Zbl

[Mancosu 1996] Mancosu (Paolo) – Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century, Oxford : Oxford Univ. Press, 1996. | MR | Zbl

[Maronne 2007] Maronne (Sébastien) – La théorie des courbes et des équations dans la géométrie cartésienne : 1637–1661, Thèse, Université Paris 7, 2007.

[Maronne 2008] Maronne (Sébastien) – Les controverses sur le problème de Pappus dans la Correspondance de Descartes : 1637–1649, dans DesCartes et DesLettres. « Epistolari » e filosofia in Descartes e nei cartesiani, Florence : Le Monnier, 2008, p. 62–91. | MR

[Panza 2005] Panza (Marco) – Newton et les origines de l’analyse : 1664–1666, Paris : Blanchard, 2005. | MR | Zbl

[Newton 1971] Newton (Isaac) – The mathematical papers of Isaac Newton, vol.4, Cambridge Univ. Press, 1971. | Zbl

[Netz 1999] Netz (Reviel) – The shaping of deduction in Greek mathematics, Cambridge : Cambridge Univ. Press, 1999. | MR | Zbl

[Nuñez 1567] Nuñez (Pedro) – Libro de algebra en arithmetica y geometría, Anvers : en la casa de los herederos d’A. Birkman, 1567.

[Pappus 1588–1589] Pappus – Pappi Alexandrini mathematicae collectiones a Federico Commandino Urbinate in latinum conversae at commentariis illustratae, Pesaro et Venise, 1588–1589 ; trad., commentaires par F. Commandino.

[Pappus 1877] Pappus – Pappi Alexandrini collectionis quae supersunt : elibris manu scriptis edidit latina interpretatione et commentariis / instruxit Fridericus Hultsch. Volumen II, Insunt librorum VI et VII reliquiae, Berlin : Weidman, 1877 ; trad. par Frediricus Hultsch. | JFM

[Pappus 1933] Pappus – Collection mathématique, Desclée de Brouwer, 1933 ; trad. par Paul ver Eecke.

[Proclus 1948] Proclus – Les commentaires sur le premier livre des Éléments d’Euclide, Bruges : Desclée de Brouwer, 1948 ; trad., notes par Paul ver Eecke. | Zbl

[Rashed 2005] Rashed (Roshdi) – Les premières classifications des courbes, Physis, 42(1) (2005), p. 1–64. | MR | Zbl

[Rastier 2001] Rastier (François) – Arts et sciences du texte, Paris : PUF, 2001.

[Recanati 1979] Recanati (François) – La transparence de l’énonciation. Pour introduire à la pragmatique, L’ordre philosophique, Paris : Seuil, 1979.

[Scholz 1990] Scholz (Ehrhard) – Geschichte der Algebra. Eine Einführung, Wissenschaftsverlag, 1990.

[Serfati 1993] Serfati (Michel) – Les compas cartésiens, Archives de philosophie, 56 (1993), p. 197–230. | MR

[Tannery 1883–1884] Tannery (Paul) – Pour l’histoire des lignes et des surfaces courbes dans l’Antiquité, Bulletin des sciences mathématiques, 7 (1883–1884), p. 278–291. | EuDML | JFM | Numdam

[Tannery 1886] Tannery (Paul) – La Géométrie de Descartes, dans Grande Encyclopédie, 1886, p. 219–220.

[Tannery et al. 1912a Tannery, Heiberg & Zeuthen] Tannery (Paul), Heiberg (J.-L.) & Zeuthen (H.-G.), éd. – Mémoires scientifiques I. Sciences exactes dans l’antiquité, 1876-1884, Toulouse : E. Privat, 1912. | JFM | MR

[Tannery et al. 1912b Tannery, Heiberg & Zeuthen] Tannery (Paul), Heiberg (J.-L.) & Zeuthen (H.-G.), éd. – Mémoires scientifiques II. Sciences exactes dans l’antiquité, 1883-1898, Toulouse : E. Privat, 1912. | JFM | MR

[Tannery & Loria 1926] Tannery (Paul) & Loria (Gino), éd. – Mémoires scientifiques VI. Sciences modernes, 1883-1904, Toulouse : E. Privat, 1926. | JFM | MR

[Taton 1951] Taton (René) – L’œuvre scientifique de Gaspard Monge, Paris : PUF, 1951. | Zbl

[Turing 1936] Turing (Alan) – On computable numbers, with an application to the entscheidungsproblem, Proceedings of the London Mathematical Society, 42 (1936), p. 230–265 ; trad. fr. in [Turing & Girard 1995]. | JFM | MR | Zbl

[Turing & Girard 1995] Turing (Alan) & Girard (Jean-Yves) – La machine de Turing, points, Paris : Seuil, 1995.

[van Egmond 1988] Van Egmond (W.) – How algebra came to France, 1988 ; in [Hay 1988, p. 127–144]. | MR

[Viète 1591] Viète (François) – In artem analyticen Isagoge, Tours : Jamettum Mettayer, 1591. | Zbl

[Viète 1593a] Viète (François) – Supplementum geometriae : ex opere restitutae mathematicae analyseos seu algebra nova, Tours, 1593. | Zbl

[Viète 1593b] Viète (François) – Variorum de rebus mathematicis responsorum liber VIII, Tours, 1593.

[Viète 1593c] Viète (François) – Zeteticorum libri quinque, 1593.

[Vuillemin 1960] Vuillemin (Jules) – Mathématiques et métaphysique chez Descartes, Paris : PUF, Épiméthée, 1960. | MR | Zbl

[Wittgenstein 1980] Wittgenstein (Ludwig) – Grammaire philosophique, Paris : Gallimard, 1980.