Aperçu avant impression Fermer

Affichage de 45 résultats

Description archivistique
Fonds Jean Largeault
Aperçu avant impression Hierarchy Affichage :

Boîte 21

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

Jean Largeault

Boîte 22

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"

Jean Largeault

Boîte 23

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

Boîte 24

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

Jean Largeault

Boîte 25

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

Jean Largeault

Boîte 26

  • 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

Jean Largeault

Boîte 27

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

Jean Largeault

Boîte 28

  • 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).

Jean Largeault

Boîte 29

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

Jean Largeault

Boîte 30

  • 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.

Jean Largeault

Résultats 21 à 30 sur 45