Affichage de 844 résultats

Description archivistique
Aperçu avant impression Hierarchy Affichage :

10 résultats avec objets numériques Afficher les résultats avec des objets numériques

Boîte 03

  • vert pâle, petit cahier relié, « preliminary materials for a paleogeolinguistic atlas », Eric de Grolier, 66 pages (2 pages par feuille)
  • tirés à part de JL : « La théorie de la démonstration de Hilbert et les théorèmes d’impossibilité de Gôdel » {Intl Logic Review, 1973), 2 exemplaires ; « Les idées méthodologiques de Hilbert et la théorie de la démonstration », Les études philosophiques, 1973.
  • la grande enveloppe de Nanterre contient les petites enveloppes (avec les adresses) correspondant aux courriers de condoléances (voir DD haut, classeur bleu roi)
  • la pile de feuilles (dans la grande enveloppe des PUF) correspond à la relecture (avec corrections) du Que sais-je ? sur La logique, réimpression en 1998, trois ans après la mort de JL.

Jean Largeault

Boîte 05

  • cahier bleu roi ‘vélin d’Angoulême’ : texte manuscrit d’une conférence de JL sur la calculabilité par une machine de Türing, ou comme il le précise ‘la calculabilité effective générale’ (14 pages), suivi d’un développement très détaillé sur Türing, puis Kripke ; le cahier est entièrement rempli, et y sont insérées des pages sur Putnam.
  • chemise orange : Chap VIII, Perspectives aristotéliciennes en théorie du langage’, numéroté de 8.1 à 8.27, plus notes et figures
  • grande chemise grise ‘originaux’ : deux articles de JL : ‘Apologie de la logique’, et ‘Sur l’universalité de la logique’. Un autre article de JL sur Brouwer, ‘L’intuition intellectuelle et les fondements intuitionnistes’ dans la pile qui suit, avec aussi ‘Brève note sur l’intuitionnisme de Brouwer’. Copie d’un article d’Encyclop ‘Réalisme’.
  • grosse pile d’originaux de comptes rendus, avec parfois indication du journal où le CR est paru :
    par ordre de la pile*
    Dewey, Logique, tr fr,
    Monk sur Wittgenstein, quatre exemplaires,
    Philo de la logique et du langage, dans / 'Age de la science,
    Rivenc, Universalisme logique,
    Bouveresse, L’homme probable,
    Parrochia, Raison systématique,
    Folina sur Poincaré (deux ex),
    Dummett sur Philo de la logique, et Philo analytique,
    Gôdel édité par Shanker,
    Lock sur Wittgenstein,
    Russell sur la philo mathématique, trad Rivenc,
    Bouveresse, Force de la règle, et Pays des possibles,
    Shanker sur Wittgenstein,
    Kerr sur Wittgenstein,
    Martin sur Duhem,
    Duhem, German science, tr fr
    Granger, La vérification,
    vanFraassen, Laws and Symmetry,
    Schrôdinger sur les présocratiques et un gros commentaire de Bitbol (plusieurs versions),
    Renouvier, Dilemmes de la métaphysique, réédité,
    Boutroux, Contingence,
    Dosse, Structuralisme,
    van Stigt sur Brouwer,
    Panza et Pont sur Gonseth,
    Chihara, Constructibility and mathematical existence,
    Parrochia, Mathématiques et existence,
    van Fraassen, Laws and Symmetry (trois exemplaires),
    Engel, La norme du vrai,
    Thom, Prédire n’est pas expliquer,
    Hacking, Concevoir et expérimenter, (deux exemplaires),
    Aristote, Physique,
    Brisson et al, Inventer l’univers,
    Needham, Dialogue des civilisations Chine-Occident,
    Boudon, L’art de se persuader,
    Torretti, Creative understanding,
    Haugeland, L’esprit dans la machine,
    Putnam, Représentation t réalité, tr fr Engel,
    Penrose, The Emperor’s new mind,
    Feyerabend, Adieu la raison, tr fr Seuil,

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

Résultats 31 à 40 sur 844