Hourya Sinaceur

Directeur de recherche au CNRS

e-mail : sinaceur@canoe.ens.fr

Liste des publications

Mise à jour en Juin 1998

1. Livres

1. Corps et Modèles, Essai sur l'histoire de l'algèbre réelle, Paris, Vrin (collection Mathesis), 1991 (496 pages). Deuxième édition française prévue pour 1999, en parallèle avec une édition anglaise, qui sera publiée aux états-Unis. En effet, les droits pour une traduction anglaise ont été vendus en décembre 1997 à la maison Birkhäuser (Basel-Boston-Berlin); celle-ci a plannifié l'édition anglaise, mise à jour et préfacée par Leon Henkin, de Corps et Modèles, pour fin 1999.

2. Le labyrinthe du continu (co-édition avec J.-M. Salanskis des Actes du colloque du Centre Culturel International de Cerisy-la-Salle de septembre 1990), Springer-Verlag France, 1992 (452 p.)

3. Les paradoxes de l'infini, édition critique en français, avec notes et introduction, de l'ouvrage posthume de Bernard Bolzano, Paris, Le Seuil, 1993 (192 p.)

4. Jean Cavaillès. Philosophie mathématique, Paris, Presses Universitaires de France (PUF), collection "Philosophies", 1994 (128 p.). Traduction arabe (Beirouth) et traduction japonaise (Tokyo) prévues.

2. Traductions

1. Les nombres. Que sont-ils? à quoi servent-ils?, traduction française de R. Dedekind, Stetigkeit und irrationale Zahlen et de Was sind und was sollen die Zahlen?, La Bibliothèque d'Ornicar?, Paris (1978), diffusion Le Seuil. Nouvelle édition prévue par les éditions du Seuil.

2. De l'angoisse à la méthode dans les sciences du comportement, trad. frç. de George Devereux, From anxiety to method in the behavioral sciences, Paris, Flammarion (1980), 474 pages.

3. Traduction française du texte, conservé dans une version latine, de Jacob Alkindi, De causis diversitatum aspectus et dandis demonstrationibus geometricis super eas (en collaboration avec Jean Jolivet et Henri Hugonard-Roche), in Œuvres philosophiques et scientifiques d'Al-Kindi, Volume 1 : L'Optique et la catoptrique (édité par Roshdi Rashed), E. J. Brill, 1997, p. 437-523.

3. Participation à des ouvrages collectifs

3.a Encyclopédies et dictionnaires

(1) - Rédaction de l'article 'Gödel' et direction scientifique pour la section Logique, avec rédaction des 24 entrées relevant de cette section dans le Dictionnaire Encyclopédique QUILLET, Supplément, 1990.

(2) - Articles 'catégoricité', 'compacité', 'complétude', 'consistance', 'w-consistance', 'constructibilité', 'constructivité (programme de Hilbert)', 'décidabilité', 'définissabilité', 'diagonalisation', 'indépendance', 'langages infinitaires', 'modèle-complétude', 'récursivité', 'thématisation' de l'Encyclopédie philosophique universelle, Volume II, Les notions philosophiques, Paris, PUF, 1990.

(3) - Articles 'axiome du choix', 'théorème de compacité', 'théorème de complétude', 'complexité', 'consistance', 'constructible', 'constructif', 'hypothèse du continu', 'décidable', 'définissable', 'théorie de la démonstration', 'élimination des quantificateurs', 'indépendance', 'langage infinitaire', 'lamda-calcul', 'théorème de Löwenheim-Skolem', 'métamathématique', 'modèle', 'calcul des prédicats', 'calcul des propositions', 'récursivité', 'système formel', dans Le dictionnaire des sciences, Paris, Hachette, 1990.

(4) - Articles Boole, Cantor, Church, Fraenkel, van Heijenoort, dans le Dictionnaire des philosophes, nouvelle édition, Paris, PUF, 1993.

3.b Articles de philosophie et d'histoire des sciences

(5) - : "Le théorème d'algèbre de Sturm et l'analyse algébrique au XIXè siècle", in Actes du congrès international Mathématiques et Philosophie, Rabat, 1-4 Avril 1982, coédition l'Harmattan (Paris) - Okad (Rabat), 1987, p. 139-158.

(6) - : "La logique comme ars inveniendi", in Doctrines et concepts. Cinquante ans de philosophie de langue française 1937-1987, publié par A. Robinet, Paris, Vrin (collection Problèmes et Controverses), 1988, p. 319-334.

(7) - : "Une origine du concept d'analyse non standard", in La mathématique non standard, édité sous la direction de H. Barreau et J. Harthong, Paris, Editions du CNRS (1989), p. 143-156.

(8) - : "Ars inveniendi aujourd'hui", in Leibniz, Tradition und Aktualität, V. Internationaler Leibniz-Kongress, Vorträge II. Teil, p. 59-70, Gottfried-Wilhelm-Leibniz-Gesellschaft, Hannover (1989).

(9) - "Logique : mathématique ordinaire ou épistémologie effective?", in Hommage à Jean-Toussaint Desanti, Editions TER, 1991, p. 331-346.

(10) - "Préhistoire de la géométrie algébrique réelle : de Descartes à Tarski", in Cahiers du séminaire d'histoire des mathématiques de l'Université Paris VI, 2e série, n° 1 (juin 1991), p. 1-17.

(11) - "De la géométrie formelle à l'algèbre abstraite", in 1830-1930 : A century of geometry, Epistemology, history and mathematics, Springer-Verlag, Lecture Notes in Physics n° 402, 1992, p. 167-174.

(12) - "La dialectique de l'espace", in Espace et réalité. Philosophie mathématique de Ferdinand Gonseth (sous la dir. de M. Panza et J.-C. Pont), Paris, Editions Masson, 1992, p. 68-82.

(13) - "Le fini et l'infini", postface au livre Infini des philosophes, infini des mathématiciens, préfacé par Jean Dieudonné, Paris, Belin, 1992, p. 195-200.

(14) - Traduction, présentation et annotation de textes de Bolzano, Cantor et Hilbert in Logique et fondements des mathématiques, (Ph. de Rouilhan et F. Rivenc éds.), Editions Payot, 1992, p. 51-70, 197-204, 245-270.

(15) - "Philosophie des mathématiques : pourquoi? Comment?". Homogénéisation des textes des conférences invitées et introduction à l'ensemble, Proceedings of the First European Congress of Mathematics, Birkhäuser, 1994, p. 183-226.

(16) - "Calculation, Order and Continuity", in Real numbers, Generalizations of the Reals, and Theories of Continua (Ph. Ehrlich ed.), Kluwer Academic Publishers, 1994, p. 191-206.

(17) "Logique, philosophie, mathématiques : fécondité de l'analyse du langage", in les Actas del primer Congreso international de ontología, Categorias e inteligibildad global, Publicacions de la Universitat autonoma de Barcelona, Bellaterra, 1994, p. 231-240.

(18) - "Formes et concepts", La connaissance philosophique , Essais sur l'œuvre de Gilles-Gaston Granger, textes réunis par Joëlle Proust et Elisabeth Schwartz, Paris, PUF, 1995, p. 93-120.

(19) - "Cavaillès et l'Ecole mathématique de Göttingen", in L'école Normale et l'Allemagne, édité par Michel Espagne, Leipziger Universitätsverlag, 1995, p. 1-9.

(20) - "Le rôle de Poincaré dans la genèse de la métamathématique de Hilbert", in Henri Poincaré. Science et Philosophie édité par J.-L. Greffe, G. Heinzmann et Kuno Lorenz, Berlin - Akademie Verlag/ Paris, Albert Blanchard, 1996, p. 493-512.

(21) - "Bolzano et les mathématiques", in Les philosophes et les mathématiques, édité par Maurice Caveing et Evelyne Barbin, Paris, Ellipses, 1996, p. 150-173.

(22) - "Cavaillès et les mathématiques", Les philosophes et les mathématiques, édité par Maurice Caveing et Evelyne Barbin, Paris, Ellipses, 1996, p. 302-317.

(23) - "Entre valeur et vérité, la sphère du sens", in Valeurs et absolu, Actes du colloque international de philosophie, Tunis, novembre 1994, édités par F. Haddad-Chamakh et Z. Ben Said-Cherni, Tunis, Centre National Universitaire de Documentation Scientifique et Technique, 1996, p. 21-34.

(24) - "Du modèle à la stratégie", in Jaakko Hintikka. Questions de logique et de phénoménologie, édité par élisabeth Rigal, Paris, Vrin (Collection "Problèmes et Controverses"), 1998, p. 127-138.

(25) - "Différents aspects du formalisme", in Le formalisme en question; Le tournant des années 30, édité par Frédéric Nef et Denis Vernant, Paris, Vrin (Collection "Problèmes et Controverses"), 1998, p. 129-146.

3.C Articles de synthèse à l'usage des étudiants du supérieur

(26) - "Panorama des mathématiques au XIXe siècle", in Anthologie de textes philosophiques, (sous la dir. de B. Morichère), t. II, De Locke à nos jours, Editions Nathan, 1992, p. 336-337.

(27) - "L'épistémologie française au XXe siècle" : présentation générale suivie d'un choix de textes de Duhem, Meyerson, Bachelard, Canguilhem, Cavaillès, Popper, Serres, avec introductions, notes et biographies des auteurs, in Anthologie de textes philosophiques (sous la dir. de B. Morichère), t. II, De Locke à nos jours, Editions Nathan, 1992, p. 354-355, 474-490.

3.D Articles de réflexion générale

(28) - "Communication, vie associative, publications, langues", Actes du colloque Perspectives européennes de la recherche, 22-23 Avril 1993, Session plénière du Comité National du CNRS, p. 93-98.

(29) - "De la pluridisciplinarité", contribution au livre préparé par Eric Méchoulan et Pierre-François Mourier : Des normaliens, pourquoi faire? pour le bi-centennaire de l'école normale supérieure, aux éditions de l'aube, Paris.

4. Articles de revues spécialisées de philosophie et histoire des sciences (avec comité de lecture)

(30) - "Cauchy et Bolzano", Revue d'histoire des sciences, XXVI/2 (1973), p. 97-112.

(31) - "Les voies de l'analyse classique", Critique, n°s 327-328 (1974), p. 697-715.

(32) - Joseph Fourier 1768-1830", Revue d'histoire des sciences, XXVIII/1 (1975), p. 88-90.

(33) - "Bolzano est-il le précurseur de Frege?", Archiv für Geschichte der Philosophie, Band 57, Heft 3 (1975), p. 286-303.

(34) - "Le programme d'Erlangen et la géométrie", Critique, n°s 361-362 (1977), p. 691-696.

(35) - "Logique et mathématique du flou", Critique, n° 378 (1978), p. 512-525.

(36) - "De D. Hilbert à E. Artin : les différents aspects du 17è problème de Hilbert et les filiations conceptuelles de la théorie des corps réels clos", Archive for history of exact sciences, vol. 29, n° 3 (1984), p. 267-286.

(37) - "La théorie d'Artin et Schreier et l'analyse non standard", Archive for history of exact sciences, vol. 34, n° 3 (1985), p. 257-264.

(38) - "L'épistémologie de Jean Cavaillès", Critique, n° 461 (1985), p. 974-988.

(39) - "Structure et concept dans l'épistémologie de Jean Cavaillès", Revue d'histoire des sciences, Paris, PUF, tome XL-1 (1987), p. 5-30.

(40) - "Lettres inédites d'Albert Lautman à Jean Cavaillès", "Lettre inédite de Gaston Bachelard à Albert Lautman", Revue d'histoire des sciences, Paris, PUF, tome XL-1 (1987), p. 117-129.

(41) - "La constitution de l'algèbre réelle dans le mémoire d'Artin et Schreier", Cahiers d'histoire et de philosophie des sciences, nouvelle série, N° 20 (1987), p. 106-138 (diffusion Belin, Paris).

(42) - "Corps réels clos et analyse non standard", conférence à l'Ecole Normale Supérieure de Paris, éditée par les Presses de l'Ecole Normale Supérieure, 45 rue d'Ulm, Paris (1987).

(43) - "Estructura y concepto en la epistemología matemática de Jean Cavaillès", Mathesis, vol. III, n°1, febrero de 1987, p. 15-32 (Departamento de Matemáticas, Universidad Nacional Autonoma de México).

(44) - "El theorema de CH. F. Sturm revisado por J. J. Sylvester", Mathesis, vol. III, n° 4, noviembre de 1987, p. 401-414 (México).

(45) - "Deux moments dans l'histoire du théorème d'algèbre de CH. F. Sturm", Revue d'histoire des sciences, Paris, PUF, tome XLI-2 (1988), p. 99-132.

(46) - "Ars inveniendi et théorie des modèles", Dialogue, Montréal, XXVII (1988), p. 591-613 (numéro paru en 1989).

(47) - "Ars inveniendi aujourd'hui", Les Etudes philosophiques, Paris, PUF, Avril-Juin 1989, p. 199-214.

(48) - "De Sturm à Tarski ou de l'analyse des équations à la théorie des modèles", Prépublications de l'Equipe de Logique Mathématique, CNRS-Université Paris VII, Séminaire de Structures algébriques ordonnées 1988-1989, N° 2, Janvier 1990, 3è article (10 pages).

(49) - "Caractéristique de G. W. Leibniz et théorie des modèles selon A. Robinson", Prépublications de l'Equipe de Logique Mathématique, CNRS-Université Paris VII, Séminaire de Structures algébriques ordonnées 1988-1989, N° 2, Janvier 1990, 5è article (6 pages).

(50) - "Du rôle de l'analyse des concepts selon Gödel et de son rapport à la théorie des modèles", Actes du Colloque international Kurt Gödel, Juin 1991, publiés par le Centre de Recherches Sémiologiques de l'Université de Neuchâtel, Travaux de Logique, n° 7, p. 11-35.

(51) - "Cauchy, Sturm et les racines des équations", Revue d'histoire des sciences, XLV, 1 (Janvier-mars 1992), p. 51-67.

(52) - "Du formalisme à la constructivité : le finitisme", Revue internationale de philosophie, n° spécial pour le cinquantenaire de la mort de Hilbert, volume 47, n° 186, 4/1993, p. 251-283.

(53) - "La recherche éthique et les sciences", Nature, Sciences, Société, vol. 3, 1995, p. 63-68.

(54) - "Mathématiques et métamathématique, du Congrès de Paris (1900) au Congrès de Nice (1970) : Nombres réels et Théorie des modèles dans les travaux de Tarski", dans Rendiconti del Circulo matematico di Palermo, série II, n° 44- 1996, p. 113-132.

5. Articles de vulgarisation scientifique

(55) - "David Hilbert et les mathématiques du XXe siècle" (en collaboration avec J.-P. Bourguignon), La Recherche, n° 257 (Septembre 1993), p. 982-989.

(56) - "L'infini", La Recherche, n° 268, septembre 1994, p. 904-910. Traduction italienne in Nuova Secondaria, mensile di cultura, oriatamenti educativi problemi didattico-istituzionali per la scuola secondaria superiora, Brescia, n°2 du 15/10/95, p. 45-51.

6. Articles de presse ou de revues de culture générale

(57) - "Paris - Göttingen, 1930", Préfaces, n° 13 (Mai-Juin 1989), Dossier 'France-Allemagne', p. 107-113.

(58) - "Fonder ou féconder", L'Ane, Paris, n° 40 (Automne 1989), Dossier 'Turbulences des sciences', p. 42-44.