January 2010
AGENDA January 2010 : During January 2010 The Archive recorded the following events or seeks agreement to links of events recorded at that period by others :
4th January 2010 :
Seminaire “Temps et Espace” 14:00 Salle de l’Atelier Observatoire de Paris
77 Avenue Denfert-Rochereau Paris :
Quantification of tidal dissipation among giant planets from the Astrometry of their satellites
Link to Recording
Link to Speakers Overheads
—oOo—
Thursday 7th January 2010
ASSOMAT Seminars Paris (Association pour les etudes materialistes)
Séminaire 2009-2010 : Un univers de variables cachées ? La question des (in)déterminismes en sciences
Place and time of Seminar : Centre Cavailles ENS 3e etage 29 Rue D’Ulm 75005 Paris
First Thursday of each month 18:00 – 20:00 hrs
L’enjeu de la question de l’interprétation de la physique quantique : déterminisme, ou réalisme ?
Michel Paty (physicien et philosophe, directeur de recherche émérite au CNRS, REHSEIS)
Click here to See Michel PATY’s Abstract
Click here to listen to the Talk
Overheads and other documentation to be added.
—oOo—
7th January 2010 ; University of Nijmegen Holland
Mathematics Seminar
10:00 – 12:00
Professor Peter Johnstone, Professor of the Foundations of Mathematics, University of Cambridge
Remarks on Lawvere’s Nullstellensatz : On Punctually locally connected spaces
Click here to listen to The Talk
Click here for link to Published Version
Click here to view set of notes of the Talk (to be added)
Professor Samson Abramsky, Theoretical Computer Science, University of Oxford :
Non-Unital Frobenius Algebras : First steps in Infinite-Dimensional Categorical Quantum Mechanics :
Report on Joint Work with Chris HUENEN (Nijmegen)
Click here to listen to the Talk
Click here to view Overheads
8th January 2010 : Mathematics Department, Free University of Brussels
Presentation by Professor Rudger KIEBOOM on A Categorical Approach to Loops, NearDomains and NearFields
An exposition privately given for the Archive following the loss of the recordings of his original talk on the Subject
given at PSSL 89 13th December 2009
click here to listen to recording
click here to see Overheads
Friday 8th January 2010 : ENS Salle Info 1 : 10:00 – 17:30
Colloque International : Fondements de la Mecanique Quantique et Information Quantique
Talks by Armond Duwell Soazig Le Bihan Guido Bacciagaluppi Alexei Grinbaum Commentary by A. Guay
Talk by Armond DUWELL :
Talk by Soazig LE BIHAN :
Talk by Guido BACCIAGALUPPI :
Click here for link to recording of Guido BACCIAGALUPPI’s Talk
Click here for overheads and other related information
Talk by Alexei GRINBAUM :
Click here for link to Recording of Alexei GRINBAUM’s Talk
8th-9th January 2010 : Maison Suger
16-18 Rue Suger Paris : (Institut d’Etudes Avances Paris)
Simplicity as an Epistemological Value in Scientific Practice
Program of Meeting
8th Jan 2010 Day 1
9:45 am David WILSON (Iowa) : Simplicity in the Copernican Revolution : Galileo Descartes & Newton
Click here for link to Recording of David WILSON’s Talk
11:30 : Jean GAYON (IHPST) : Simplicity in the Biological Sciences
Click here for link to Recording of Jean GAYON,s Talk
2:30 pm Evelyn Fox KELLER (IEA Paris & MIT) : Simplicity as an Ontological Value in Physics & Biology
Click here for link to Recording of Evelyn Fox KELLER’s Talk
4:05 pm : Annick LESNE (CNRS) : Simple Models in Physics & Biology
Click here for link to Recording of Annick LESNE’s Talk
5:20 pm Round Table : Commentary & Discussion
Click here for link to Recording of Round Table Discussions
9th Jan 2010 Day 2
David RABOUIN : The Difficulty of being Simple : Leibniz on simple notions
Click here for link to Recording of David RABOUIN’s Talk
Jeremy AVIGAD : on Simplicity in Abstract Algebra and Number Theory
Click here for link to Recording of Jeremy AVIGAD’s Talk
Andrew ARANA : Simplicity and Elementary Method in Logic and Mathematics
Click here for link to Recording of Andrew ARANA’s Talk
J-J. SZCZECINIARZ : Investigating once again The Kantian Antinomy Simple/Compound
Click here for link to Recording of J-J. Szczeciniarz’s Talk
5:00 pm : Round Table : Commentary and Discussion
Click here for link to Recording of Round Table Discussions
11th January 2010 : Seminaire de Philosophie et Mathematiques d’ENS
(Convenors : Pierre CARTIER, Jean-Baptiste JOINET, Giuseppe LONGO, Jean PETITOT, Bernard TEISSIER
Founded by Maurice Loi : Mondays 18:00 hrs : Salle : Amphi Rataud, Batiment Rataud, Etage – 1 45 Rue D’Ulm
11 January 2010 : Pierre CARTIER (Math, CNRS)
13th January 2010 : Paris/ENS Salle Cavailles 20:00 hrs – Seminaire Pensee Des Sciences
Pierre CARTIER (CNRS-Jussieu-IHES)
LES DIVERSES INCARNATIONS DE LA THEORIE DE GALOIS
See here for Link to Recording of Talk
Link to Cartier’s Abstract
Link to Home Page of ENS Seminaire Pensee des Sciences
14th January 2010 Paris/EHESS
Mathematical Structures and Philosophical Concepts of Spacetime in Contemporary Physics
A Lecture Course delivered by Luciano BOI.
2nd and 4th Thursdays of each month from14th January until 10th June 2010
Click here to listen to recording of Luciano BOI’s Lecture
Click here for Notes/Overheads of talk
Click here for Information about the Course
15th January 2010 : Paris/ENS : CIEPFCE Seminar Series (Philosophie Francaise Contemporaine)
PHILOSOPHIE ET PHYSIQUE : Les Constructions de L’Espace-Temps
Speaker : Francoise BALIBAR : Title : VITESSES II
Click here for link to Recording of Seminar
Click here for more information about this Seminar Series.
15th January 2010 : REHSEIS/Groupe Philosophie et Physique
15th January 2010 (14h-18h) REHSEIS/Research Group Philosophie et Physique
Alexis de SAINT-OURS (Paris 8, Laboratoire Pensée des Sciences-ENS)
« Du temps comme dimension au temps comme variation »
Click here for accompanying Text
Click here for Overheads/Notes
16th January 2010 : Paris/ENS 15:00 hrs : In Series “Conferences de Club Montagne Sainte-Genevive”
Marc LACHIEZE-REY (CNRS/Paris 7) : LE TEMPS DANS LA PHYSIQUE RELATIVISTE
Je défendrai l’idée que les théories de la relativité se caractérisent par la disparition du temps. J’analyserai les statuts des notions temporelles qui peuvent y être définies : durées propres, causalité, simultanéité… En montrant la cohérence de ce point de vue, j’envisagerai le cas de la cosmologie. Et j’évoquerai quelques aspects du problème du temps dans les approches contemporaines de la gravité quantique.
Click here to see Video of Talk
Click here to hear audio recording
19 Janvier 2010 Univ Paris 7 :
Le séminaire d’histoire et de philosophie des mathématiques est le point de rencontre des différents axes de l’Unité travaillant autour des mathématiques. Il entend favoriser le dialogue entre philosophes
et historiens en prenant soin de toujours revenir aux sources textuelles – les orateurs sont vivement encouragés à fournir les documents permettant aux participants d’y accéder.
Séances : une fois par mois, le mardi (9h30-12h30 et 14h-17h).
Lieu : bâtiment Condorcet, salle Mondrian (646A), Université Paris Diderot. Métro Bibliothèque François-Mitterrand. Plan
La nature du rapport de deux incommensurables
Marouane Benmiled (LAMSIN, ENIT, Tunis)
Théorie des proportions et grandeurs irrationnelles dans un commentaire d’Ibn al-Haytham au Livre X des Eléments d’Euclide
Bijan Vahabzadeh (SPHERE, CNRS-Un. Paris Diderot)
Le traitement des rapports irrationnels dans le commentaire d’al-Khayyâm sur les Eléments d’Euclide
Claire Schwartz (SPHERE, CNRS – Univ. Provence)
Rapports et proportions dans la métaphysique malebranchiste
Katia Asselah (SPHERE, CNRS-Un. Paris Diderot)
Jean Prestet : un fondement arithmétique, une seule théorie des proportions ?
19th January 2010 17:00-18:30 CREA Seminar in Theoretical Biology
(New Venue : 32 Boulevard Victor 75015 Paris : Salle 28 132 1st Floor)
Marcello BURATTI
Le Retour de Darwin et Lamarck
19th January 2010 : 9:00 – 16:00 ENS Salle Dussane
Journee d’Etude de L’Atelier Simondon : Penser de L’Individuation Au XXeme Siecle : Husserl, Russell, Whitehead, Schroedinger and Simondon
9 :00 – 9 :15 : Introduction : (Vincent Bontems)
9 :15 : Schroedinger et le probleme de l’individuation (Vincent Bontems)
Click here for link to Recording of Vincent BONTEMS Talk
10:30 : Carlos LOBO : Le projet Husserlien d’une Logique formelle de l’individuation.
Click here for link to Recording of Carlos LOBO’s Talk
11:45 : Frederic FERRO : L’Individuation et l’Identite des indiscernibles chez Russell
Click here for link to Recording of Frederic FERRO’s Talk
2:15 : Didier DEBAISE : La Multiplicite des Niveaux d’Individuation dans la nature Selon Whitehead
Click here for link to Recording of Didier DEBAISE’s Talk
3:45 : Jean-Hughes BARTHELEMY : Individuation, Individualisation et Personalisation chez Simondon
Click here for link to Recording of Jean-Hughes BARTHELEMY’s Talk
5.20 : Round Table Discussion
Click here for link to Recording of Round Table Discussion
20th January 2009 : IREM Seminar Salle 201 IHP 14:00 hrs
(Convenor M. Serfati)
Grothendieck, une occasion… à ne pas manquer
Pierre LOCHAK
Click here for link to recording of Pierre Lochak’s Talk and subsequent discussion
20th January 2009 18:30 hrs Grand Auditorim Bibliotheque Naional de France
Un texte, un mathématicien
Cycle de conférences organisées par la
Bibliothèque nationale de France
et la Société mathématique de France
Speaker : Prof Laure Saint-Raymond
(Professeure à l’université Pierre-et-Marie Curie et à l’ÉNS Paris)
Texte for Discussion : Ludwig BOLTZMANN :
Vorlesungen uber Gastheorie : Bd I & II, Leipzig (1896-1898)
Lecons sur La Theorie des Gaz Vols I & II, Paris (1902-1905)
Topic : Boltzmann’s H-Theorem, The Mathematical description of Gases The Paradox of Tempral Irreversibility and Poincare’s Recurrence Theorem and new light shed on the issues involved by recent mathematical developments in the theory of probability and in other parts of mathematics
Click here for link to recording of this Talk
January 25 th 2010
IP Fellows’ Workshop in ENS (45, Ulm), Salle Dussane. 9 A.M. to 6 P.M.
January 25 th 2010
IP Fellows’ Workshop in ENS (45, Ulm), Salle Dussane. 9 A.M. to 6 P.M.
Speakers : First Speaker : Andrew ARANA : The Complexity of Pure and Impure Proof
Abstract: It has often been claimed that pure proofs are less valuable than impure proofs because of the relative “difficulty” or “complexity” of pure versus impure proofs. Whatever advantages pure proof may have over impure proof would be countered by disadvantages if impure proof is systematically “easier” or “simpler” than pure proof. In order to evaluate this claim, it is helpful to identify precise measures of proof complexity for which the claim may be tested. In this talk we single out a “topological” measure of proof complexity studied in recent work by Alessandra Carbone, and evaluate the thesis for that measure.
Click here to listen to the recording of Andrew ARANA’s Talk
Click here to listen to the recording of the following discussion/Q&A Session
Click here for his overheads
Second Speaker : Jeremy AVIGAD : On Understanding, Formal Verification and The Philosophy of Mathematics
Click here for link to recording of Jeremy AVIGAD’s Talk
Click here for link to recording of discussions and Q&ASession following his Talk. Click here for his overheads
Third Speaker : WalterDEAN : Models and Recursivity :
Click here for link to recording of Walter DEAN’s Talk. Click here for his overheads
Fourth Speaker : Sean WALSH : Weierstrass, Frege and Husserl on the Equality of Numbers
Abstract : From the early 1860s to the mid 1880s Weierstrass lectured on Introductory Compex Analysis once every two years. A persistent feature of his lectures was a long introductory section on the development of extensions of the natural number concept and the treatment of infinite sequences. This introductory section of Weierstrass’s Lectures was discused by both Frege and Husserl in their published and unpublished writings on the philosophy of arithmetic. In this talk I shall focus on contextualizing and evaluating the respective views of Weierstrass, Frege and Husserl on Hume’s principle and the equality of numbers.
Click here to listen to a recording of Sean WALSH’s Talk
Click here for his overheads :
Speakers : First Speaker : Andrew ARANA :
The Complexity of Pure and Impure Proof
Abstract: It has often been claimed that pure proofs are less valuable than impure proofs because of the relative “difficulty” or “complexity” of pure versus impure proofs. Whatever advantages pure proof may have over impure proof would be countered by disadvantages if impure proof is systematically “easier” or “simpler” than pure proof. In order to evaluate this claim, it is helpful to identify precise measures of proof complexity for which the claim may be tested. In this talk we single out a “topological” measure of proof complexity studied in recent work by Alessandra Carbone, and evaluate the thesis for that measure.
Click here to listen to the recording of Andy ARANA’s Talk
Click here for his overheads
Second Speaker : Jeremy AVIGAD :
On Understanding, Formal Verification and The Philosophy of Mathematics
Click here for link to recording of Jeremy AVIGAD’s Talk
Click here for his overheads
Third Speaker : Walter DEAN :
Models and Recursivity :
Click here for link to recording of Walter DEAN’s Talk
Fourth Speaker : Sean WALSH :
Weierstrass, Frege and Husserl on the Equality of Numbers
Abstract : From the early 1860s to the mid 1880s Weierstras lectured on Introductory Compex Analysis once every two years. A persistent feature of his letures was a long introductory section on the development of extensions of the natural number concept and the treatment of infinite sequences. This introductory section of Weierstrass’s Lectures was discused by both Frege and Husserl in their published and unpublished writings on the philosophy of arithmetic. In this talk I shall focus on contextualizing and evaluating the respective views of Weierstrass, Frege and Husserl on Hume’s principle and the equality of numbers.
Click here to listen to a recording of Sean WALSH’s Talk
Click here for his overheads :
25th January 2010 18:00 hrs : Seminaire de Philosophie et Mathematiques d’ENS
(Convenors : Pierre CARTIER, Jean-Baptiste JOINET, Giuseppe LONGO, Jean PETITOT, Bernard TEISSIER
Founded by Maurice Loi
Mondays 18:00 hrs : Salle : Amphi Rataud, Batiment Rataud, Etage – 1 45 Rue D’Ulm
Sando GRAFFI (Mathematics, Bologna)
On the origin of the statistical interpretation of Quantum Mechanics.
27th January 2010
REHSEIS Seminar on Early Modern Mathematics
Bâtiment Condorcet, salle 412B Rothko.
27 January 2010 : 10h-13h : “Just before the calculus : the geometry of infinitesimals”
Antoni Malet (Universitat Pompeu Fabra, Barcelona)
Click here to listen to recording of Antoni Malet’s Talk
27th January 2010 :
Paris/IMJ Chevalaret
Seminar on Mathematical General Relativity
Laboratoire Jacques-Louis LIONS : Details of Program and Speakers :
-
10h00 Florian Beyer (Otago, New Zealand) Second-order hyperbolic Fuchsian systems. Application to Einstein vacuum spacetimes
-
11h30 : Jerome Novak (LUTH, Meudon) A constrained scheme of Einstein equations for numerical relativity
-
14h00 : Jared Speck (Cambridge, UK) The stability of the Euler-Einstein system with a positive cosmological constant
Thursday 28 January 2010 :
OXFORD/Philosophy of Physics Seminar
Prof Anton Zeilinger, Vienna: ‘An experimentalist’s view of the interpretation of quantum mechanics’
Recording of Talk
Link to Speakers Overheads or other material
—oOo—
28th January2010 :
OXFORD/DWB Keble Road
Dr Julian BARBOUR : A Reinterpretation of General Relativity as Shape Dynamics
Click here for Link to Abstract
Click here for Link to Recording of Julian Barbour’s Talk
—oOo—
28th January 2010 : Paris/EHESS 54 Bd. Raspail. 17:00 hrs
Mathematical Structures and Philosophical Concepts of Spacetime in Contemporary Physics
A Lecture Course delivered by Luciano BOI.
2nd and 4th Thursdays of each month from14th January until 10th June 2010
Click here to listen to recording of Luciano BOI’s Lecture
Click here for Notes/Overheads of talk
Click here for Information about the Course
29th January 2010 : NANCY/Institut Elie Cartan
Colloquium in Honour of Jean-Pierre FERRIER : 3 Talks
14:00-15:00 : Christian HOUZEL (CNRS)
Le Seminaire BANACH a L’ENS au debu des Annees 60 : L’Impact de Grothendieck
The Seminaire BANACH at The ENS in the early 1960s : The Impact of Grothendieck’s Work in Bornology on The Theory of Function Spaces and the accompanying shift of perspective on the Notion of Banach Space
Click here for link to recording of Christian HOUZEL’s Talk
15:00-16:30 : Francois CHARGOIS (IECN)
Le Theoreme d’approximation affine, d’apres Jean-Pierre FERRIER
FERRIER’s Affine Approximation Theorem
Click here for link to recording of Francois CHARGOIS’ Talk
16:30-17:30 : Reception and Vin D’Honneur for The Birthday of Jean-Pierre FERRIER
17:30-18:45 : Christian HOUZEL (CNRS)
La Contribution de GROTHENDIECK au Seminaire CARTAN
The Contribution of GROTHENDIECK to The Seminaire CARTAN : With particular reference to his 5 Theorems on Moduli Spaces of Riemann Surfaces and the development of Teichmuller’s Ideas presented in 1960-1961
Click here for link to recording of Christian HOUZEL’s Talk
29th January 2010 : Oxford/Comp. Sci. Lab Lecture Theatre B 2:00 pm OASIS Seminar Talk :
Jamie VICARY : Entropies on Test Spaces
Click here for Link to related paper
Click here for Link to Abstract
Click here for Link to recording of Jamie Vicary’s Talk