CRIN Centre de recherche en Informatique de Nancy
- FR UMR7117 CP-B-3
- File
- 1990 - 2003-05
Part of Fonds Claude Pair
CRIN Centre de recherche en Informatique de Nancy
24 Septembre 1993
20ème anniversaire
Claude Pair
CRIN Centre de recherche en Informatique de Nancy
Part of Fonds Claude Pair
CRIN Centre de recherche en Informatique de Nancy
24 Septembre 1993
20ème anniversaire
Claude Pair
Part of Fonds Claude Pair
Informatique et enseignement
1974 - 1990
Claude Pair
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
classeur bleu marine épais, fermé serré : nombreuses photocopies ou doubles de textes, principalement de René Thom, avec des lettres de Thom à Largeault, et une lettre de Thom à Vuillemin
Jean Largeault
Part of Fonds Jean Largeault
liste alphabétique des textes et CR du gros classeur beige :
Bâton & G. Cohen-Tannoudji, L’horizon des particules,
Bâton et al, L’horizon des particules, Gallimard (mauvaise photocop)
Boudon, L’art de se persuader des idées douteuses... (sur le relativisme),
Bouveresse Renée et Hervé Barreau, Colloque sur Popper, chez Vrin,
Bouveresse, Le philosophe chez les autophages,
Bouveresse, Rationalité et cynisme,
Brisson et WalterM, Inventer l’univers,
Changeux et Connes, Matière à pensée, (dans chemise bleue marquée ‘doubles) :
Chihara, Constructibility,
Dennett, La conscience expliquée,
Dieudonné, Pour l’honneur de l’esprit humain
Dreyfus Hubert, Intellig artificielle, tr fr Vassalo av av-prop de Andler, (ds chemise bleue marquée doubles) :
Dummett, Philosophie de la logique,
Engel, La nonne du vrai
Engel, La norme du vrai (dans chemise bleue marquée ‘doubles) :
Granger, Pour la connaissance philosophique,
Haugeland, L’esprit dans la machine, tr fr O.Jacob,
Haugeland, L’esprit ds la machine (ds chemise blanche)
Hawking, Une brève histoir du temps, tr fr Flammarion,
Hawking, Une brève histoire du temps, tr fr Flammarion, (dans chemise bleue marquée ‘doubles) :
Kline Morris, Mathématiques, tr fr CBourgois
Kojève sur le déterminisme,
Kojève, L’idée du déterminisme (dans : Association HPMP)
Kojève, L’idée du déterminisme, (dans chemise bleue marquée ‘doubles) :
L’âge de la science, 5, chez Odie Jacob (deux exemplaires, non identiques),
Largeault ( ?), Compréhension-intension, une page avec réfs,
Largeault sur l’intuitionisme,
Largeault, copie d’une lettre à Gérard Escat (collègue de Toulouse avec lequel JL avait de fréquents échanges
téléphoniques)
Largeault, Description et explication (Métabief août 1987, 18 pages)
Largeault, Formalisme et intuitionisme en philosophie des mathématiques,
Largeault, Préface du traducteur (à : Intuitionisme et théorie de la démonstration, 1992),
Largeault, Sur l’universalité de la logique (publié dans Archives : tiré, et version dactylographiée),
Monk sur Wittgenstein, plusieurs exemplaires,
Moore Walter, Erwin Schrôdinger,
Nagel and Co, Le théorème de Gôdel, (dans chemise bleue marquée ‘doubles) :
Needham, Dialogue des civilisations...,
Omnès, Philosophie de la science contemporaine (‘original’, 18 pages)
Panza & Pont, coll. sur Gonseth (corrigé à la main)
Parain-Vial, Philo des sc de la nature (Fundamenta Scientiae)
Pavel, Le mirage linguistique (deux versions différentes),
Penrose* The emperor’s naw mind (ds chemise blanche)
Popper, colloque de Lyon sur, par Bouv et Barreau, exemplaire corrigé à la main
Putnam, Repr et réalité, tr fr Gallimard,
Putnam, Représentation et réalité (ds chemise blanche, marqué ‘mon exemplaire’)
Rammuni, histoire de l’ordinateur, (dans chemise bleue marquée ‘doubles) :
Rammuni, La physique du calcul, Histoire de l’ordinateur,
Salanskis, L’herméneutique formelle,
Schrôdinger et Bitbol, L’Esprit et la matière (deux versions différentes)
Schrôdinger, L’esprit et la matière, avec essai de Bitbol, (dans chemise bleue marquée ‘doubles) :
Schrôdinger, L’esprit et la matière, avec essai L’élision, de Bitbol
Schrôdinger, L’esprit et le matière, tr fr avec un essai de Bitbol,
Terré-Fomaciari, Les sirènes de l’irrationnel, (« école de Granger »)
Thom, Esquisse d’une sémiophysique (3 versions différentes)
Thom, lettre à JL, 1990, copie (dans chemise bleue marquée ‘doubles) :
Thom, Prédire n’est pas expliquer (le papier de Thom, et le CR de JL)
Thom, Prédire n’est pas expliquer,
Torretti, Creative understanding,
Wang Hao, Kurt Gôdel, phocop de Pour la science,
Wang Hao, Kurt Gôdel, tr fr chez Colin,
Wunenberger, La raison contradictoire, (dans chemise bleue marquée ‘ doubles) :
Jean Largeault
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
étudiants philo Créteil
copies d'articles, dont 2 de S. Feferman
Weil : brouillon de la traduction de JL. + présentation
copies d'articles de Weyl
Jean Largeault
Part of Fonds Jean Largeault
Lurçat : correspondance et tirés à part
page du journal Le Monde Thom 1995
lettre Ruyer (post mortem)
cours de logique 1 et corrigés (à déplacer vers la pile 1)
article de Sol Feferman
cours de logique 2 (à déplacer vers la pile 1)
un chap cours de maîtrise
un mot de Charles Daniels
droits d'auteur (= 0) : Klincksieck, PUF
matrices
en rapport avec le livre Logique mathématique - textes, photocopies d'articles + lettre de Quine + articles de Kripke, Kleene, Montague, Gôdel, Mostowski, Padoa, Lôwenheim, Kemeny + lettres de Kleene + un compte rendu de Bouveresse en rapport avec Weyl : textes de Kreisel, Zermelo, Ackermann, Kreisel, Frayne Morel & Scott, Smullyan, Tarski, Gôdel, Dreben, Church, Ackermann, Hasenjaeger, Hilbert, Kalma, Mostowski, Levy, Putman, Montague, book reviews
(rajouts de AFL) papier de Espinoza,
photocopie Bernays
et deux ou trois courriers
Jean Largeault