Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Blader
archivistische beschrijving
geautoriseerd bestand
archiefinstelling
Functies
Onderwerpen
Plaatsen
Digitale objecten

zoeken

Global search

Advanced search

Clipboard
- Clipboard
- Clear all selections
- Go to clipboard
- Load clipboard
- Save clipboard
Taal
- Taal
- English
- Français
- Español
- Nederlands
- Português
Quick links
- Quick links
- home
- Over
- Privacy Policy
- Help

Have an account?

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
7144 more...
StukMW0002591 - 14/06/07 Philosophy of math as an interpretive enterprise; how much history of math should philosophy of math be able to account for?, REHSEIS: Andrew Arana: Discussion on purity of proofs & methods / Lunch conversations / PM coffee break conversations
StukMW0002592 - 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
StukMW0002593 - 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
StukMW0002594 - 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
StukMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
StukMW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
StukMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
StukMW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
StukMW0002600 - 14/09/07 LMPS Congress, Beijing: Jan Wolenski: Truth, correspondence & intensionality / Elia Zardini: A model of tolerance; vagueness & the sorites principle
1082 more...

Reports

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

There are no relevant reports for this item

Verwijderen

Printed: 2026-04-16