Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
7962 en plus...
Pièce
MW0000886 - 31/03/09 AM Session (Part I): Foundations of Mathematics Workshop, Bristol: Discussion Jed by FWL with Anders Kock, and others of Proposed Mathematical Model for Leibnizian notion of Monad. Discussion of Parmenides and Zeno and emergence of Dialectics.
Pièce
MW0000886 - 31/03/09 AM Session (Part II): Foundations of Mathematics Workshop, Bristol: Further discussion berween FWL and Anders Kock on Cohomology in the Simplicial and Cubical senings. Discussion of Differential Fonns and Structure in Tangent Bundles from the SDG Viewpoint.
Pièce
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Discussion between Anders Kock and FWL on developments in SDG since The fonnulation of the Kock-Lawvere axiom and the definition of the smooth topos.
Pièce
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Andrei Rodin: "Categories without structures; what is the real bearing of category theory on discussions of mathematical structuralism? / discussion
Pièce
MW0000886 - 31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions led by FWL: Products of derivatives and qualifications of the chain rule; straight line graphs; split co-equalisersand canonical forms and axiom of choice
Pièce
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Pièce
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Pièce
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
Pièce
MW0000887 - 04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere
264 en plus...
Rechercher
Rapports
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions led by FWL: Products of derivatives and qualifications of the chain rule; straight line graphs; split co-equalisersand canonical forms and axiom of choice
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler