Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques

Rechercher

Recherche générale

Recherche avancée

Presse-papier
- Presse-papier
- Effacer toutes les sélections
- Aller au presse-papier
- Charge le presse-papier
- Sauvegarder le presse-papier
Langue
- Langue
- English
- Français
- Español
- Nederlands
- Português
Liens rapides
- Liens rapides
- Accueil
- À propos
- Politique de confidentialité
- Aide

Avez-vous un compte ?

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
7145 en plus...
PièceMW0002592 - 29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Abbas Edalat: The derivative and it's generalisation to higer dimensions / Thierry Paul: Semi-classical analysis and the problem of initial conditions (and the relation of classical to quantum systems) / Guiseppe Longo: Some thoughts on incompleteness, openness & conceptual circularities in the exact sciences and in the life sciences; with some reflections on Bohr & Schroedinger
PièceMW0002593 - 29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Abbas Edalat: The derivative and it's generalisation to higer dimensions / Thierry Paul: Semi-classical analysis and the problem of initial conditions (and the relation of classical to quantum systems) / Guiseppe Longo: Some thoughts on incompleteness, openness & conceptual circularities in the exact sciences and in the life sciences; with some reflections on Bohr & Schroedinger
PièceMW0002594 - 29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Pierre-Louis Curien: Computational self-assembly / subsequent discussion / John Stewart: Is life (turing-) computable? Introduction to and reflection on some ideas of Robert Rosen / Subsequent discussion / Luca Cardelli: Artificial biochemistry / Lunch conversations / Mariangiola Dezani: Session types for object-oriented languages / MW microphone test
PièceMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
PièceMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
PièceMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
PièceMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
PièceMW0002600 - 14/09/07 LMPS Congress, Beijing: Jan Wolenski: Truth, correspondence & intensionality / Elia Zardini: A model of tolerance; vagueness & the sorites principle
PièceMW0002601 - 13/09/07 LMPS Congress, Beijing: Marco Panza: Lagrange's theory of functions and the distinction between terms and what they stand for / Henrik Kragh Sorensen: Functions as formulae or concepts in early C19th mathematics / Sebastien Gandon: The ghost of (the notion of) quantity; magnitude theory in Russel & Whitehead's Principia / Colin McLarty: Category theoretic structuralism in session on philosophy of logic and mathematics / subsequent discussion
1081 en plus...

Rapports

16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2

Il n'y a pas de rapports pertinents pour cet élément

Annuler

Imprimé : 2026-04-16