Amsterdam Free University

Elements area

Taxonomie

Code

Bereik aantekeningen

ron aantekeningen

Toon aantekening(en)

Hiërarchische termen

Amsterdam Free University

Gelijksoortige termen

Amsterdam Free University

Verwante termen

Amsterdam Free University

4 Archivistische beschrijving results for Amsterdam Free University

4 results directly related Exclude narrower terms

10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Paolo Mancosu: Completeness & categoricity of axiomatic systems / Bruce Halimi: The equaivalence of logical universality and necessity as a problem from the model theoretic viewpoint / Catarina Dutilh-novaes: Two aspects of formalization; axiomatization and symbolization / Lunch conversations / William R de Jong: The analytic synthetic distinctio and the Asristotelian model of science; Kant, Bolzane & Ferge

MW0002457 · Stuk

Part of Michael Wright Collection

10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Ogla Antonova & Sergei Soloviev: Axiomatics and its mdoel interpretation from the historical perspective / Dirk Schliomm: From domains of being axiomatic systems and vice cerse; the role of axiomatics in the context of discovery, as illustrated by the development of lattice theory / 13/01/07 Heikki Koskinen: Quine, predication and domains of being

MW0002457 · Stuk

Part of Michael Wright Collection

12/01/07 The classical model of science, Amsterdam Free University: Paolo Mancosu: Completeness and categoricity of axiomatic systems; on an address of Tarski from 1940 / Lunch conversations / 17/01/07 IHP trimester on groupoids & stacks in geometry & physics, IHP: Jonathan Rosenberg: Noncommutative topology in geometry and physics / Conversations /Un texte, une mathematicien, The Bibliotheque National de France, Paris: Pierre Cartier: Lagrange's "mecanique analytique" / 18/01/07 IHP trimester on groupoids & stacks in geometry & physics, IHP: Jonathan Rosenberg: Noncommutative topology in geometry and physics

MW0002455 · Stuk

Part of Michael Wright Collection

10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Paolo Mancosu: Completeness & categoricity of axiomatic systems / Lunch conversations / 17/01/07 IHP trimester on groupiods and stacks in geomerry and in physics, IHP, Paris: Jonathan Rosenberg: Noncommutative topology in geometry and in physics / lunch conversations / Pierre Cartier:Lagrange's mecanique analytique / 18/01/07 IHP trimester on groupiods and stacks in geomerry and in physics, IHP, Paris: Jonathan Rosenberg: Noncommutative topology in geometry and in physics

MW0002458 · Stuk

Part of Michael Wright Collection