February 2008
1st February 2008
The first meeting of the IP research seminar in Nancy took place on February 1st, 2008 at Université Nancy 2, Campus Lettres et Sciences Humaines, room A-104. [read more] Unfortunately this seminar was not recorded. Notes of the seminar, abstracts and overheads will be posted here.
—oOo—
2nd February 2008 : REHSEIS : Seminaire sur Recherches sur L’Abstraction
Laurent JAFFRO (Clermont-Ferrand) : L’Abstraction dans L’Empirisme Anglais (mf 0208)
—oOo—
2nd February 2008 : Seminaire MaMuPhi ENS
Hector Parra : Une approche créatrice des interrelations structurelles entre les espaces acoustiques et visuels
—oOo—
Friday February 8th 2008 : IDEALS OF PROOF
A Conference to Inaugurate the Ideals of Proof/ANR Chair D’Excellence Paris
February 8th 2008 : Inaugural Session of Chair D’Excellence ANR “Ideals of Proof” : An Inaugural Symposium on Proof and Inference took place on February 8th 2008 at Université Paris 7, Bâtiment « Halle aux Farines », Hall AB, 2nd floor, Amphi 2A – 2, rue Marguerite Duras, Paris 13ème. It featured a lecture by Dag Prawitz on “The Validity of Inference” and a lecture by Prof. Michael Detlefsen on “Varieties of Completeness” (flyer available here).
Click here for link to recording of Invited Lecture by Prof.. Dag PRAWITZ (Theoretical Philosophy, Stockholm) “On The Validity of Inference”
For his overheads :
Click here to listen to Prof. DETLEFSEN’s Inaugural Lecture : “On Ideals of Purity of Proofs : The Examples of Kronecker and Dedekind : Their Debate on the Proper Object of Arithmetical Investigation”
Click here for his Overheads
—oOo—
February 11th 2008 : IHPST Kit FINE Day
Ontology Talks (mf 0208)
—oOo—
16th February 2008 : Transcript of Aide-Memoire of Conversations with FW Lawvere (undated but from early 2008)
—oOo—
18th February 2008 : IHPST Seminaire PhilMath Grand Salle 17:30-19:30
Warren GOLDFARB : On Dummett’s Proof-Theoretic Justification of Logical Laws (mf 0208)
—oOo—
February 22nd, 2008
22nd February 2008 Seminaire Riemann : Part 1 :
Christian HOUZEL : The Two Fundamental themes of Poincare’s
(1895) Memoir on Analysis Situs :
a) The Definition of Poincare Duality and of an Algebraic Variety
b) The Notion of the Fundamental Group of A Space and Its Role in Topology
Part 2 : Patrick POPESCU-PAMPU (Paris 7) : Les Notions de Variete Chez Poincare
ENS : Seminaire Riemann : Part 1 : Christian HOUZEL : The Two Fundamental themes of Poincare’s (1895) Memoir on Analysis Situs :
a) The Definition of Poincare Duality and of an Algebraic Variety
b) The Notion of the Fundamental Group of A Space and Its Role in Topology
Click here for link to recording of Prof. HOUZEL’s Talk
Part 2 : Patrick POPESCU-PAMPU (Univ. Paris 7) : Les Notions de Variete Chez Poincare
Click here for link to recording of Prof. POPESCU-PAMPU’s Talk
—oOo—
24th February 2008 : important note of discussions (to be continued) with Renaud Chorlay (IP Fellow) concerning Treatment of Infinitesimals in Giraud-Grothendieck Topos Setting via Quotients but retaining Classical Logic as internal logic of the topos as contrasted with the approach in the topos of smooth spaces ( the SDG Topos ) where the internal logic is intuitionsitic and the Ground Ring satisfies the Kock-Lawvere Axiom
—oOo—
26th February 2008
The Second meeting of the IP research seminar in Nancy took place on February 26th 2008 at The Université Nancy 2, Campus Lettres et Sciences Humaines, room Jules Vuillemin, J-303, 16:30. [read more]
The Third meeting of the IP research seminar in Nancy took place on March 7th, 2008 at Université Nancy 2, Pôle Lorrain de Gestion, room 020, 16:30. [read more]
—oOo—
28th February – 1st March 2008 ENS Paris Joint Paris/St Andrews ARCHE Conference
Conference on Abstract Objects in Semantics and Philosophy of Mathematics ( mf o2/o308 )
—oOo—
18th February – 1st March 2008 : First International Summer School in The Conceptual History of Mathematics : Brasilia, Brasil.
Details of and Links to Speakers and Program Video recordings of the Talks and other Information to be placed here.