Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital

Pesquisar

Pesquisa global

Pesquisa avançada

Á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
- English
- Français
- Español
- Nederlands
- Português
Ligações rápidas
- Ligações rápidas
- Início
- Sobre
- Política de privacidade
- Ajuda

Já possui uma conta?

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

ArquivoMichael Wright Collection
7147 mais...
ItemMW0002594 - 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
ItemMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
ItemMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
ItemMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
ItemMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
ItemMW0002600 - 14/09/07 LMPS Congress, Beijing: Jan Wolenski: Truth, correspondence & intensionality / Elia Zardini: A model of tolerance; vagueness & the sorites principle
ItemMW0002601 - 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
ItemMW0002602 - 13/09/07 LMPS Congress, Beijing: Joke Meheus: Avoiding deontic explosion by contextually restricting aggregation / Jeremy Avigad: Logic & computation / Freiderike Moltmann: Reference to numbers in natural language
ItemMW0002603 - 10/09/07 LMPS Congress, Beijing: Jessica Carter: Pictures and proofs in analysis; examples from Vaughan Jones work and other topics / Mario Gomez-Torrento: The notion of co-extensionality in connection with the model-theoretic definition of logical truth; an argument against Tarski's thesis / Mary Leng: A discussion of structuralist -vs-fictionalist accounts of the applicability of mathematics
1079 mais...

Relatórios

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

Não existem relatórios relevantes para este item

Cancelar

Impressão: 2026-04-17