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
7147 more...
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
Item
MW0002602 - 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
Item
MW0002603 - 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 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