Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
7145 more...
Item
MW0002592 - 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
Item
MW0002593 - 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
Item
MW0002594 - 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
Item
MW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
Item
MW0002598 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
Item
MW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 1
Item
MW0002599 - 16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
Item
MW0002600 - 14/09/07 LMPS Congress, Beijing: Jan Wolenski: Truth, correspondence & intensionality / Elia Zardini: A model of tolerance; vagueness & the sorites principle
Item
MW0002601 - 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 more...
Search
Reports
16/08/07 - 22/08/07 The 2nd World Congress and school on Universal Logic, Xi'an, China - Disc 2
Reports
There are no relevant reports for this item
Cancel