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.