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.