Affichage de 45 résultats

1993 cours à Genève,
banque CIC (indiqué par AFL mais pas trouvé ; peut faire référence à des feuilles du CIC sur lesquelles JL écrit d'autres choses)

article tiré à part + article polycopié d'Alain Boutot
article en allemand de Jean-Marie ZEMB
papier furieux de Ramunni
sujets d'examen 1988 et juin 1990
petite lettre de RThom
Encyclop universelle
lettre de Berkeley
articles de Claude Bruter
Gabay
séminaire ENS
amicale Supélec
Russo à Largeault,
Pitteri article
brouillon du papier sur Meyerson,
logiques multivaluées,
logique (double)
Aca Nice section 72
dépt
tapuscrit-brouillon de La logique
brouillon Logique (et idem une seconde fois)
brouillon Weyl
double : morceau de Hasard, probabilités, induction = raisonnement inductif
leçon inaugurale de JM Zemb

Courtès
Bouttevin
UP4 Toulouse
Philo de la logique + Intuitionnisme et théorie de la démonstration + Dreben, Kreisel, Skolem, Quine, Hintikka,
Dana Scott, Gôdel
Brouwer
Hilbert - Zenon & Cantor
et autres articles
articles encore : Haar, etc
B. Dreben, sur la complétude de la théorie de la quantification
article de George W. Gaffney

• 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

é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

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

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

• gros polycop encollé : travaux divers de René Thom

• cartes de remerciement, blanches [soustraire]
• petit mot des charentonnais à JL malade (nov 1994),
• courrier adressé à JL et demandant un avis,
• carnet d'adresses de JL
• "Sens et distance" de Michel Magnen
• chemise papier blanche marquée d’une cit de Diderot : fragments d’un cours d’épistémologie (pages 31 à 95)
• chemise cartonnée blanche marquée ‘logique’ : dans une sous-chemise de papier beige : cours de logique, soigneusement dactylographié, pp 01 à 108, plus un sujet de devoir, et un paquet de vieilles feuilles agrafées, pp V-l à V-25, intitulé « calcul des prédicats » . Et quelques feuilles en vrac dessous : correction ( ?) de devoirs, et pages manuscrites, le tout datant de l’époque Toulouse-le-Mirail
• cahier rouge, ‘Vélin d’Angoulême’, la couverture est marquée : Pearsons, Hintikka, 1961 (modalité et quantification), 1966 (présupposition d’existence et leur élimination), 1968 (présuppositions d’existence et d’unicité) - le contenu des parenthèses est peu lisible, mais on retrouve les titres en fin de cahier ; le début du cahier traite de questions de logique, en XII points (en fait, XIII),
• grande chemise beige-mauve : Toulouse le Mirail, exercices de logique (chiadés)
• petite chemise beige : morceaux de textes disparates, de JL
• enveloppe déchirée : petite image et photo, courriers (4 pages photocop corrections, écriture de Thom mais pas de nom ; René Poirier ; Abellio ; x ; Thuillier ; Vuillemin ; éditeur de La Recherche ; Quine) et article de Jean Lacroix dans Le Monde 9-10 avr 1972, sur le livre de JL Enquête sur le nominalisme, Nauwelaerts

• grande chemise marron clair : cours et sujets de logique, datant de l’époque Toulouse le Mirail
• grande chemise verte carton marquée « probabilités induction » : papiers divers datant de Créteil UP12 ; dans une chemise papier bleue un cours avec exercices sur induction et probabilités ; 6 pages agrafées « sur la méthodologie de Popper » ; photocop d’un passage de Schopenhauer, Le Monde.., I, 14. ;
• chemise papier verte : documents des cours Phi 369 (p 25 à 38) et Phi 2020 (p 13 à 18), agrafés par petits paquets, manifestement destinés à être distribué aux étudiants
• dans une chemise papier beige encore plus délabrée que lui : le Cours de mathématiques générales de Paul Dubreil (CES maths géné), édité par le CDU, pl de la Sorbonne, 1958, 672 pages [correspond à l’année où Anne Fagot-Largeault a fait fait maths générales, le prof était Marc Zamansky]