Showing 45 results

articles tirés à part : Chevalley, Boutot, Jean-Luc Petit, Delattre, Delahaye, encore Haar, Bruter
trace du cours à Genève 1993
encore tirés ou articles : Schutzenberger, Delahaye (3), Delattre,
comptes rendus : Revue philosophique
Note manuscrite non signée "excusez que je rappelle"

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

Cours de logique à Toulouse, avec en tête Dana Scott, et à la fin Quine (photocops)
VI la méthode
L'intuitionnisme (livre prêt)
Texte du QSJ sur la logique, avec en tête une page de Brouwer et une lettre de Claude Bruter disant que c'est excellent

classeur rouge : photocopies de textes
analyses de la Revue philosophique : JM a fait Monk
Bruter remercie pour le Weyl et il envoie un petit tiré
orange : nouvelles pages pour le QSJ sur la logique ?
traces de traitement à prendre (début 1995)
brouillons : algorithme, et photocop Zemach
améliorations du QSJ en vue d'une seconde édition
papier sur l'intuition
copies : mécanique
habilitation de SALENSKIS, avec une note "critique" d'espinoza
copie : Poincaré
épistémologie - liaisons (essais)
petites notes manuscrites sur les présocratiques
tiré à part de Bruter
1981 : Probabilistic ontology (photocops)
Michel Paty

• lettre de JL (désabusé sur l'université) à M. Zemb
• pochette rose pâle : Le programme intuionniste
• pochette verte : Infini et continu
• pochette jaune : sur l'intuitionisme
• pochette beige : Intuition et intuitionisme
• Le second acte de l'intuitionisme et les principes de l'Analyse
• Feuilles disparates avec exercices de logique
• Intuition et intuitionisme (double avec notes et petits remaniements)
• pochette rose : Annexe I. (Brouwer : theorie des ensembles intuitioniste)
• plusieurs chapitres (en double ou triple) de l'Intuition et l'intuitionisme
• texte "Constructivisme" qui ne semble pas rattache à l'ouvrage sur l'intuitionisme

CR de JL sur :

• un article de Stigt sur l'intuitionisme

• La vérification (Granger)

• Parrochia (mathématiques et existence)

• Chihara

• Lettre de Thom à JL daté du 12 octobre 1992

• Lettre adressée à JL (signée mais pas de nom d'auteur) datée du 13 mai (92 ?)

• pochette blanche "intuitionisme 2" datée du 07-09-92

• dossier jaune marqué ‘Christian Bourgois éditeur’ : après un petit schéma de la terre, et une photocop d’un article en anglais de Roger Hahn, sur Laplace, il s’agit manifestement de la préparation d’un volume (à paraître chez ChBourgois) de l'Essai philosophique sur les probabilités, de Laplace, avec préface (tapuscrit parsemé de corrections - de JL ?) et postface (de René Thom ?)
• le dossier beige contient un dossier rouge marqué ‘tome 1’, et un autre marqué ‘tome 2’ ; il s’agit des Principes classiques d'interprétation de la nature, ouvrage accepté par Michel Delsol dans sa collection ‘Science-HistoirePhilosophie’ (Institut interdisciplinaire d’Etudes Epistémologiques, Lyon), imprimé à Lyon par TIRE, et diffusé par Vrin, 1988.
• pile de feuilles : quatre doubles agrafées de textes dactylographiés, qui sont des traductions de l’anglais : Hintikka (‘Existential presuppositions and uniqueness présupposions’), Quine (‘Reference and modality’), Dana Scott (‘Existence and description in formai logic’), et Scott encore (‘Advice on modal logic’). Le papier est très fin et jauni (ce sont des doubles).

• dossier jaune marqué « rogatons » : comptes rendus (originaux)

• dossier rouge avec à l’intérieur un reste de chemise marquée ‘2 rue des Feuillants’, puis séparées par des feuilles des traductions d’un ensemble de textes sous le titre général « Analyse du langage et logique » (et plus anciennement « Logique philosophique, textes ») ; le travail est fait avec précision, et minutie, y compris les recommandations à l’éditeur. La première page indiquait « à mes maîtres R. Martin et J. Vuillemin », mais cela a été biffé. Il s’agit d’un livre prêt à publier, et qui (selon AFL) n’a jamais été publié. Copie de la table des matières jointe.

• gros classeur tacheté : livre Intuitionisme et théorie de la démonstration, au stade des épreuves.