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
7145 mais...
ItemMW0002592 - 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
ItemMW0002593 - 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
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
1081 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-16