Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
7960 mais...
Item
MW0000886 - 30/03/09 PM Session (Part I): Foundations of Mathematics Workshop, Bristol: Mathias Menei: Conceptual and expository difficulties of algebraic geometry
Item
MW0000886 - 30/03/09 PM Session (Part II): Foundations of Mathematics Workshop, Bristol: Discussion between FWL & R Pettigrew concerning Large Cardinals Program of Woodin et al. Problems with the policies of Expository publications by AMS. The Problem of the Tortoise and Achilles seen from the perspective of SDG First / conversations
Item
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.
Item
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.
Item
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.
Item
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
Item
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
Item
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
Item
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
266 mais...
Pesquisar
Relatórios
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.
Relatórios
Não existem relatórios relevantes para este item
Cancelar