March 2010

 

AGENDA :  In March 2010 The Archive hopes/plans to record the following events

February 28th – March 6th 2010 : Mathematisches ForschungsInstitut OBERWOLFACH :

An International WORKSHOP

  Disciplines and Styles in Pure Mathematics, 1800-2000
Organisers:     David Rowe, Mainz
Klaus Volkert, Köln
Philippe Nabonnand, Nancy
Volker Remmert, Mainz
Date: February 28th – March 6th, 2010
Further Details to be added  

—oOo—

1st MARCH  2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

S. Franck :  Habital Zones in Extrasolar Planetary Systems – The Search for A Second Earth

Click here for link to recording of this seminar

—oOo—

1st March 2010 : ENS Salle des Actes   17:30 hrs  : George STEINER :

Une poétique de la pensée

1er Mars : Ebauche du thème. Les présocratiques et Lucrèce.

—oOo—

3rd MARCH 2010 :

ENS Salle des Actes   17:30 hrs  : George STEINER :

Une poétique de la pensée

3 Mars : Dialogue et dialectique, de Platon à Valéry.

 —oOo—

 

 

Thursday 4th  March 2010 :  Oxford/Oxford Philosophy of Physics Seminar

Prof John Worrall, LSE:

‘Defending Structural Realism (Or: the “Newman Objection” what objection?)’

—oOo—

5th MARCH 2010 :

ENS Salle des Actes   17:30 hrs  : George STEINER :

Une poétique de la pensée

5 Mars : Rencontres modernes entre penseurs et poètes, jusqu’à Heidegger et Paul Celan

—oOo—

8th March 2010  Paris  IHPST 13 Rue du Four

9:30-12:30  IHPST Grand Salle  LOSSIM Philosophy of Math Seminar

Details tba

 —oOo—

8th March 2010  :  10:00 – 12:00 Hrs

MSH Paris  54 Boulevard Raspail  Salle 214 :   Seminaire Histoire des Geometries

David ROWE :  Methods & Controversies in Enumerative Geometry 1870-1914

—oOo— 

8th March 2010 : ENS Seminar in Philosophie et Mathematiques

18:00 hrs Amphi. Rataud Level -1  45 Rue D’Ulm Paris

Thierry PAUL (Maths-Physique CNRS-X)

Aleas(s) et Evenement(s)

—oOo— 

 

Tuesday 9th March 2010  12:00 –   18:20 hrs

The 6th Workshop on:
“Categories, Logic and Foundations of Physics” (CLP 6),

Oxford University Computing Laboratory

see
http://categorieslogicphysics.wikidot.com/events
for further details

—oOo— 

 

MARCH 8th – 10th 2010 : SPECIAL EVENT IN IDEALS OF PROOF PROGRAM

“Mathesis metaphysica quadam”: Leibniz, between Mathematics and Philosophy. The Ideals of Proof (IP) Project (ANR) and REHSEIS (UMR 7219, SPHERE) are pleased to announce a workshop on interrelationships between mathematics and philosophy in the thought of Leibniz. The workshop will take place Monday, March 8 through Wednesday, March 10, 2010. All meetings the first two days will be in the salle Dusanne of the ENS (45 rue d’Ulm, Paris). On the third day, the meetings will be in the Klee room, which is room 454A of the Condorcet building, on the Grands Moulins campus of the U of Paris-Diderot. The talks and discussions are free and open to the public. All interested persons are warmly invited to attend. Schedule is available here.

 Herbert Breger: The substructure of Leibniz’s metaphysics
Michel Serfati: Mathematics, metaphysics and symbolism in Leibniz: the principle of continuity
Vincenzo De Risi: Leibniz’s studies on the Parallel Postulate
Philip Beeley: In deliberationibus ad vitam pertinentibus. Method and Certainty in Leibniz’s Mathematical Practice
Richard Arthur: Leibniz’s Actual Infinite in Relation to his Analysis of Matter
Samuel Levey: Leibniz’s analysis of Galileo’s paradox
Emily Grosholz: The Representation of Time in Galileo, Newton and Leibniz
Eberhard Knobloch: Analyticité, équipollence et la théorie des courbes chez Leibniz

 

 —oOo— 

9th March 2010 17:00-19;00 hrs ENS Paris :

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

Lecture 1  ENS 17:00 – 19:00 9th March 2010

 

—oOo—

11th and 12th March 2010 : LYON, France

Journées Emmy Noether  Organisateurs : Christophe Eckes et Amaury Thuillier Date  et horaire : jeudi  11 mars et vendredi 12 mars 2010 Lieu: Institut Camille Jordan, Université Claude Bernard Lyon 1, 69622 Villeurbanne cedex
                                                                                                                                                                     Programme er résumés  iciJeudi 11 mars 2010 (salle 100)
13h30-13h50
Introduction et éléments biographiques sur Emmy Noether
14h-14h45
Emmy Noether et les algébristes allemands : mathématiques et philosophie, Hourya Benis Sinaceur (Paris)
                                                                                                                                                                                                      
 
15h15-16h
Emmy Noether et la Moderne Algebra, Frédéric Brechenmacher (Arras)
16h30-17h15
Géométrie algébrique et algèbre moderne, 1920/1930, Norbert Schappacher (Strabsbourg) Vendredi 12 mars 2010 (salle Fokko du Cloux)
10h-10h45
Emmy Noether : symmétries et lois de conservation, Sylvie Benzoni (Lyon) 
11h15-12h
Les théorèmes de Noether, origines et diffusion, Yvette Kosmann-Schwarzbach (Palaiseau)
14h-14h45
Emmy Noether et Hermann Weyl, Christophe Eckes (Lyon) 

 

—oOo—

Thursday  11 March 2010 :  OXFORD/ (Joint session of the Philosophy of Physics, Philosophy of Mathematics, and Logic Seminars):

Prof Charles Parsons, Harvard:

‘Some Objections to Structuralism’

—oOo—

11th MARCH 2010 : Univ. Paris 7  at. Condorcet (Salle TBA)  10:00 – 13:00 hrs 

Second Lecture in Course by René Guitart

 
titre du cours : Catégories et structures
 
but du cours : Théorie catégoricienne des structures et son usage pour la modélisation.
Le noyau de notions développées, accompagnées d’exemples en algèbre et en géométrie, sera : Catégories et foncteurs, foncteurs représentables,  problèmes universels. Limites et colimites, notions d’esquisse et de trame. Structures libres et monades, opérades. Diagramme localement libre. Sites et topos, univers, univers algébriques. Algèbres figuratives. 
 
dates des 6 séances : jeudi 25 février (première séance), jeudi 11 mars, jeudi 25 mars, jeudi 8 avril, jeudi 29 avril, jeudi 13 mai.
horaires :  de 10h à 13h. 
durée totale : 18 heures de cours.
lieu :  Université Paris Diderot Paris 7, Bâtiment Condorcet, 10 rue Alice Domon et Léonie Duquet, Paris 75013 (la salle sera précisée ultérieurement)

Clik here to hear Rene GUITART’s Lecture

PART 1

PART 2

Plus photographs of all his Writings on The Board in the Course of his Lecture

—oOo—

11th MARCH 2010 :  Paris/EHESS  17:00 – 20:00 Hrs

Mathematical Structures  and Philosophical Concepts of Spacetime in Contemporary Physics

A Lecture Course delivered by Luciano BOI. Salle 206 MSH 54 Bd Raspail 17:00 – 20:00 hrs

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

—oOo—

 

Thursday 11 March 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

Mécanique quantique : Et si Newton, Einstein et de Broglie avaient aussi raison ?

Michel Gondran (mathématicien, président de l’Académie Européenne Interdisciplinaire des Sciences et Université Paris Dauphine)

La synthèse entre mécanique quantique (MQ) et relativité générale (RG) reste impossible tant que l’interprétation des équations de la RG est déterministe et celle de la MQ indéterministe. Au lieu de rendre indéterministe la RG, le plus simple (rasoir d’Occam) est de chercher une interprétation déterministe de la MQ. Nous montrons qu’un approfondissement de l’interprétation de Broglie-Bohm est aujourd’hui le candidat le plus probable. On démontre d’abord que pour des particules libres dans le vide, l’interprétation de Broglie-Bohm de l’équation de Schrödinger dépendante du temps s’impose en même temps que l’introduction de particules indiscernées en mécanique classique (qui résoud de plus le paradoxe de Gibbs). Cette interprétation s’étend aux particules non liées pour lesquelles le potentiel peut être considéré comme classique, mais aussi aux particules intriquées de l’expérience EPR-B. Pour les particules liées soumis à un champ classique, on doit remettre en cause, comme on le fait en électrodynamique quantique, l’équation de Schrödinger pour la description des transitions entre les niveaux. L’interprétation de Broglie-Bohm de l’équation de Schrödinger dépendante du temps est dans ce cas à rejeter. Pour les états stationnaires de l’équation de Schrödinger, l’interprétation de Broglie-Bohm ne s’impose pas théoriquement. Des interprétations déterministes alternatives sont proposées, comme les interprétations de Schrödinger et de Bohr-deBroglie que nous introduisons. Ces variantes sont compatibles avec la quantification de la lumière, la théorie de l’atome habillé et l’électrodynamique quantique.

***

Click Here to listen to this Seminar

—oOo—

11th March 2010 ; ENS Paris

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

 

Lecture 2  ENS 17:00 – 19:00 11th March 2010

—oOo—

12th March 2010 : Philosophie et Physique :  Salle 483A Malevich  : 14 :00 Bat. Condorcet Universite Paris 7

Etienne KLEIN  & Francis WOLFF

La Question de l’existence du Temps : Problemes Philosophiques et Scientifiques :

Le temps comme flux et le Temps comme ordre

Click here to listen to this Seminar 

 —oOo—

 

12th March 2010 : Institut Henri Poincare

Seminar on History of Mathematics : Mini-Colloquium

Volterra and France

 
 
 
 
 
 
 
 
 
 

Programme
14 h -16h : – Antonin Durand (Département d’histoire, ENS Ulm) : « Le modèle français dans la
construction institutionnelle de Volterra »
– Angelo Guerraggio (Centre Pristem, Université Bocconi, Milan): «The Differential Calculus for Volterra’s
“funzioni di linea” »
Discussion : « Mathématiques et constructions institutionnelles ». Répondant : Frédéric Brechenmacher
(Laboratoire de mathématiques de Lens, Université d’Artois).
16h – 16h30 : Pause 
16 h 30 – 18 h. – Laurent Mazliak (Université Pierre et Marie Curie) : « Volterra et les échanges
mathématiques Paris-Rome »
– Annalisa Capristo (Centre d’études américaines de Rome) : « Volterra, le fascisme et la France »
Discussion : « Une étude de cas des relations scientifiques entre deux pays au début du XXe siècle ».

 

—oOo— 

13 March 2010  : Institut Mathematique de Jussieu  :

Seminaire Itinerant des Categories  

9:40 – 10:25 hrs :  Denis – Charles CISINSKI :  Theorie Homotopique des Mulicategories Superieures

10:30 – 11:15 hrs : Stephane DUGOWSON : Pour Une Theorie Connective des Systemes Dynamiques (Ordres, Representations, Feuilletages)

11:20 – 12:05 hrs : Jonas FREY : Dc-Categories and the Tripos to Topos Construction

12:10 : General Discussion

14:10 – 14:55  hrs :  Tim van der LINDEN : L’Associateur des Boucles dans une theorie relative des commutateurs

15:00 – 15:45 hrs :  Dimitri ARA :  Weak Grothendieck Infinity-Groupoids

16:00 – 16:45 hrs :  Marino GRAN :  Facets of Modularity :  Categories de Goursat & ideal-determinees

16:50 – 17:35 : Paul-Andre MELLIES : Condition de Segal et Effets Algebriques

Organiser of Session : Rene GUITART :  Further Details to follow.

—oOo—

 

 

13 mars 2010   :   ENS :   10h30 (Ens, salle Cavaillès)   Seminaire MaMuPhi

Yves Chaumette : Du ternaire au binaire, et réciproquement (un exemple)

(See previous MaMuPhi Seminaire by Rene Guitart)

Abstract :  

1. Du binaire au ternaire pour élargir l’espace

Suivant la Chromodynamique quantique, l’antinomie Noir – Blanc peut s’ouvrir à une nouvelle dimension en passant à la couleur (RVB). On peut donner à celle-ci un sens général qui concerne, non l’œuvre en elle-même, mais le rapport à l’œuvre. Alors Vert dénote le devenir, l’évolution; Bleu : la variance, la latéralité; Rouge : la fondation, le type, l’inscription transverse. Ces nuances se lisent en mathématiques, sur les schémas et sur les textes.

2. Du ternaire au binaire pour intégrer le mouvement

Comme l’ont noté Bailly & Longo, la science décrit des transformations entre deux états supposés définis.Pour intégrer le mouvement dans la pensée (Bergson), il est utile de passer à la tendance ou force. La perception (sans sujet ni objet) se modélise par une spire = une boucle ouverte sans extrémités définies. L’objet se définit alors comme l’invariant dans un cône (selon la démarche de Kant).

3. Du binaire au ternaire pour poser

La perception (binaire) est une interface, une visée. Elle se projette sur des objets se définissant (action modélisée par une boucle), l’autre pôle de cette interface –l’expectative de la visée – est une valeur, question ou grandeur, notions regroupées sous le terme pôle -archétype. Ces pôles jouent différemment dans la négation et suivent un mouvement de pulsation.

Ainsi se dessine un ternaire entre action, perception et pôle, mais ce ternaire concerne trois ordres de choses différents et non plus une transformation.

—oOo—

13th MARCH 2010 :  IRCAM   1  Place Stravinsky :  15:00 hrs 

2nd Lecture of Course by Pierre CARTIER

Click here to listen to Cartier’s Lecture 

 —oOo—

 

13th & 14th MARCH 2010 : Institut Henri Poincare  Amphitheatre Darboux

Seminaire Nicolas BOURBAKI

Saturday 13th March 

14:30 hrs : Laurent BERGER : La Correspondance de Langlands locale p-adique pour GL /sub 2 (Q/sub p)   (d’apres C. Breuil & P Colmez)

16:00 hrs :  Alice GUIONNET :  Grandes Matrice Aleatoires et Theoremes d’Universalite

Sunday 14th March

11:00 hrs   Bob OLIVER :   La classification des Groupes p-compactes  (d’apres Andersen, Grodal, Moller & Viruel)

14:00 hrs   Bertrand REMY :  Groupes Algebriques pseudo-reductifs et applications (d’apres Tits & Conrad-Gabber-Prasad)

15:30   Olivier BRIQUARD :  Metriques Kahleriennes extremales sur les surfaces toriques  (d’apres S. Donaldson)

—oOo—

15th March 2010 :  IHPST  13 Rue du Four  :  Philosophy of Mathematics Seminar

17:30 – 19:30 Hrs : Charles PARSONS : Some Objections to Structuralism 

Click here for link to Professor PARSONS Talk

—oOo—

15th March 2010 : ENS Seminar in Philosophie et Mathematiques

18:00 hrs Amphi. Rataud Level -1  45 Rue D’Ulm Paris

Catuscia PALAMIDESS(Informatique, INRIA-X, Paris)

Nondeterminism and randomness in concurrency

—oOo—

15th March 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

J.Anderson : Proper Motions in the Centre of Omega-Centauri : Evidence for an intermediate mass black-hole

Click here for link to recording of this seminar

 —oOo—

 

16th March 2010 : ENS Paris

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

 

Lecture 3  ENS 17:00 – 19:00 16th March 2010

—oOo—

17th March 2010 : IHP Salle 201 14:00-16:00 hrs : Seminaire IREM

Responsable : Michel SERFATI : Seminar on Historical and Epistemological Approaches to the Study of Mathematical Concepts

17th March 2010 :  Maurice NIVAT : Algorithmique et Programmation

—oOo—

17th March 2010 I.H.E.S. Burre-sur-Yvette

Seminar in IHES Series on General Relativity and Gravitatation

The role of Topological Structure in GR and in Quantum Gravity

click here for link to this recording

plus overheads 

—oOo—

17th March 2010 :  Un texte, un mathématicien

18:30 hrs Grand Auditorium Bibliotheque National Francais

Cycle de conférences organisées par la
Bibliothèque nationale de France
et la Société mathématique de France

 

Des lois du mariage à Bourbaki

André Weil, « Appendice », dans Claude Levi Strauss, Structures élémentaires de la parenté, Paris, Presses universitaires de France (1949)

Michel Broué
(Professeur à l’université Denis-Diderot Paris 7, membre senior de l’Institut Universitaire de France)

 —oOo—

 

18th March 2010 Journee CEA-SACLAY-IHES 

9:15 — 9:30 Yves Caristan (Directeur du centre CEA de Saclay)
9:30 — 9:50 Alain Connes (IHÉS) Le modèle spectral
9:50 — 10:10 David Kosower (IPhT) Next-to-Leading Order Collider Physics with Multiple Jets
10:10 — 10:30 Ruth Britto (IPhT) Scattering amplitudes in gauge theories
10:30 — 10:50 Pierre Vanhove (IHÉS & IPhT) Simplicity of gauge and gravity amplitudes
10:50 — 11:20 Coffee break
11:20 — 11:40 Dirk Kreimer (IHÉS) Kinematics and Cohomology
11:40 — 12:00 Bertrand Duplantier (IPhT) Liouville Quantum Gravity and KPZ
12:00 — 12:20 Vincent Pasquier (IPhT) Instabilités dans de Sitter
12:20 — 12:40 Thibault Damour (IHÉS) E10 and M-theory
12:40 — 14:00 Buffet
14:00 — 14:20 Mikhail Gromov (IHÉS)  Topology and Liposomes
14:20 — 14:40 Henri Orland (IPhT) Classification topologique des ARN
14:40 — 15:00 Christophe Soulé (IHÉS) Sur le rôle des circuits dans les réseaux de gènes
15:00 — 15:20 Kirone Mallick (IPhT) Exact results for a model in nonequilibrium statistical physics
15:20 — 15:40 Michel Bauer (IPhT) Quelques questions ouvertes sur les interfaces en deux dimensions
15:40 — 16:10 Coffee break
16:10 — 16:30 Thomas Garel (IPhT) Statistics of renormalized hoppings for Anderson localization transitions
16:30 — 16:50 Guilio Biroli (IPhT) The glass transition
16:50 — 17:20 Ivan Kostov (IPhT) Matrix models and conformal field theories
17:20 — 17:40 Maxim Kontsevich (IHÉS) From holomorphic dynamics to lattice models
17:40 — 18:00 Clément Ruef (IPhT) Black holes in string theory: What’s new?
18:00 — 18:20 Jean Pierre Bourguignon (IHÉS) La courbure de Ricci comme principe organisateur
18:20 — 18:40 Jérémie Bouttier (IPhT)  : Generalised Zeta Functions of the Zeros of the Zeta Function

 —oOo—

18th March 2010 : 

Paris/EHESS  17:00 – 20:00 Hrs

Mathematical Structures  and Philosophical Concepts of Spacetime in Contemporary Physics

A Lecture Course delivered by Luciano BOI. Salle 206 MSH 54 Bd Raspail 17:00 – 20:00 hrs

2nd and 4th Thursdays of each month from 14th January until 10th June 2010

—oOo—

18th March 2010  17:00-19:00 hrs ENS Paris

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

 

Lecture 4  ENS 17:00 – 19:00 18th March 2010

 

—oOo—

20th March 2010 :  University of NANCY

Colloquium around the Work and Ideas of Otto Hölder

Journée Otto Hölder

Samedi 20 mars 2010
Archives Poincaré, Nancy

9h30     Paola Cantù (CEPERC, Université Provence) – Theory of Magnitudes and Theory of Measurement
Hölder’s 1901 contribution to the axiomatic formulation of the notion of “measurable quantity” is quite well known. On the contrary, little attention has been paid to a lecture that he gave two years before in Leipzig: Anschauung und Denken. An investigation of the philosophical and epistemological issues discussed  in this lecture will be the starting point for an analysis of Hölder’s conception of the relationships between intuition, experience, and geometrical method. By a comparison with contemporary authors (Poincaré, Veronese), it will be evaluated to what extent the philosophical approach to geometry contributed to the axiomatic formulation, and in particular to the idea that measurability and Archimedianity should be essential elements of the “usual” notion of continuous magnitude.

11h15     Volker Peckhaus (Universität Paderborn)- Hölder and Hilbert on Method
Otto Hölder’s book “Die mathematische Methode” (1924) was (and is) almost unique in its booklength reflection on the mathematical method. Hölder’s considerations are compared with those of David Hilbert. Hilbert distinguished between regressive and progressive tasks in mathematics, Hölder focussed on the axiomatic deductive method and with this on the regressive task. Beyond this, Hilbert also considered methods that lead to the formulation of axiomatic systems, i.e. the regressive task.

14h30     Mircea Radu (Universität Bielefeld)- The Concept of Construction in Otto Hölder, Robert Graßmann and David Hilbert
In a way it is striking that in most historical accounts of the emergence of modern arithmetic and of the evolution of foundational research, Hölder’s name and his views are barely mentioned. Indeed, today, Otto Hölder’s ideas on the foundations of mathematics are almost forgotten. This may be due to the fact that, although a leading mathematician of his time, when writing on foundational issues Hölder did not follow the ‘technical’ trend initiated in works such as those of Boole, Peirce, Frege, Peano, and Hilbert. Indeed Hölder did not contribute to the development of the technical apparatus used in formal logic and metamathematics. On the contrary, one of the most important aims of his foundational work was to reveal the limitations of this formalizing trend. In this contribution I will explore Hölder’s critical examination of axiomatics which is based on what he calls the “Reihenfolgebegriff”.

16h15     Oliver Schlaudt (Archives Poincaré, Nancy)– Hölder, Mach, and the Law of the Lever
The Law of the Lever was among the first laws of nature to be formulated in quantitative terms. Shortly after its first formulation scholars like Archimedes and Euclid already sought to prove it by deduction from general axioms and postulates. The Law of the Lever thus stands at the very heart of rational mechanics. However, about 1900 Ernst Mach accused Archimedes’ proof of circularity. He thereby provoked a discussion about the fundamentals of mechanics and the role of logic and experience in science. This discussion is associated first and foremost with the name of Vailati, but in fact Otto Hölder was the first to reply to Mach’s criticism. In this paper, the outlines of this discussion will be given. In particular Hölder’s contributions will be highlighted.

____________________________________________________

—oOo—

22nd March 2010  Paris  IHPST 13 Rue du Four

9:30-12:30  IHPST Grand Salle  LOSSIM Philosophy of Math Seminar

Details tba : Responsable : Mark van Atten

—oOo—

22nd March 2010 

22nd March 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

A.S. Leibert   The Importance of Kozai Resonance in Extrasolar Systems

Click here for link to recording of this seminar

—oOo—

March 22, 2010
14:00 Hrs Séminaire de philosophie des mathématiques – Paris Diderot
Location : room 366A-Klimt, 14h-17h
– 14h-15h30
Matthias Schirn (Ludwig Maximilians Universität, Munich)
“Consistency, Models, and Soundness”

– 15h30 – 17h00
Dirk Schlimm (McGill University)
“Pasch’s empiricist foundations of mathematics”
 
Abstracts :
– “Consistency, Models, and Soundness”
In the first part of this talk, I discuss the remarks that Frege makes on consistency when he sets about criticizing the method of creating new numbers through definition or abstraction. In the second part, I comment on Hilbert’s proof theory (1922-1931). One difficulty that I analyse is the fact that Hilbert’s language of finitist metamathematics fails to supply the conceptual resources for formulating a consistency statement qua unbounded quantification. In the third and final part, I shall take a critical look at Wittgenstein’s views about (in)consistency and consistency proofs in the period 1929-1933. I argue that both his insouciant attitude towards the emergence of a contradiction in a calculus and his outright repudiation of metamathematical consistency proofs are unwarranted. In particular, I argue that Wittgenstein falls short of making a convincing case against Hilbert’s programme. I close with some philosophical remarks on consistency proofs and soundness.
– “Pasch’s empiricist foundations of mathematics”
In his groundbreaking “Lectures on Newer Geometry” (1882) Moritz Pasch (1843-1930) gave the first rigorous axiomatization of projective geometry, which paved the way for Hilbert’s famous “Foundations of Geometry” (1899). In these lectures Pasch also presented the two cornerstones of his philosophy of mathematics : a radical version of empiricism, aimed as providing an epistemological basis for mathematics, and a very modern version of deductivism, as the ideal of mathematical rigor. In this talk I will give an introduction to Pasch’s philosophy of mathematics, focusing in particular on his empiricism. Some connections to Frege, Hilbert, and the logical empiricists will also be drawn.
—oOo—

 

22nd-23rd MARCH 2010

REHSEIS Histoire et Philosophie des mathématiques

Lieu : bâtiment Condorcet, salle Mondrian (646A), Université Paris Diderot. Métro Bibliothèque François-Mitterrand. Plan

22 et 23 Mars 2010

Tables et astronomie
(dans le cadre de l’ANR “Histoire des tables numériques”)

PDF - 10.7 ko

Lundi 22 mars 2010

Nathan Sidoli (School of International Liberal Studies, Waseda University, Tokyo)
Ptolemy’s use of tables to model motion

Agathe Keller (SPHERE, CNRS et université Paris Diderot)
Petite introduction à l’usage des tables numériques dans l’histoire des mathématiques et de l’astronomie en Inde

Kim Plofker (Union College, New York)
Some astronomical handbooks and table texts from Jaipur

Setsuro Ikeyama (Kyoto Sangyou University)
Introducing an edition, translation, and explanation of Ganesa’s Patasarani, an astronomical astrological table

Clemency Montelle (University of Canterbury, New Zealand)
The Karanakesarî : Mathematical tables for computing eclipse phenomena

_____________________

Mardi 23 mars 2010

Guy Boistel (Centre François-Viète, université de Nantes)
Le Bureau des longitudes et la gestion de ses calculateurs pour la Connaissance des temps, de Jérôme Lalande à l’après Maurice Loewy, 1795-1914 environ

David Aubin (Institut de mathématiques de Jussieu, UMR 7586, université Pierre-et-Marie-Curie Paris 6)
“A system of order carried to a considerable extent” : ou ce que les archives de Greenwich nous apprennent sur le calcul des tables astronomiques au 19e siècle

Marie-José Durand-Richard (SPHERE, CNRS et université Paris Diderot)
La prédiction des marées en France et en Angleterre au 19e siècle : analyse comparée

—oOo—

22nd March  2010 : ENS Seminar in Philosophie et Mathematiques

18:00 hrs Amphi. Rataud Level -1  45 Rue D’Ulm Paris

Pablo ARRIGHI  (Informatique, IMAG, Grenoble)

Superpositions Quantiques, probabilites et causalite

—oOo—

22nd March 2010

MSH Paris  54 Boulevard Raspail Salle 214 : Seminaire Histoire des Geometries

Evelyne BARBIN & Rene GUITART :   Histoire de la Notation Abrege de Lame a Salmon

—oOo— 

23rd March 2010  17:00-19:00 hrs ENS Paris

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

 

Lecture 5   ENS 17:00 – 19:00 23rd March 2010

—oOo—

 

23rd MARCH 2010  :  CREA Seminar  (New Venue : 32 Bd. Victor  75015 Paris : Salle 28  132  :  1st Floor :  17:00 – 18:30 hrs)

Seminar in Theoretical Biology

Jesper HOFFMEYER (Copenhagen)  :  A Semiotic Approach to the  Study of Life

—oOo—

24th March 2010 :  8th IP Fellows’ Seminar Paris

The 8th IP Fellows’ Seminar will meet March 24, 2010 from 09h30 to 17h25, at the Ecole Normale Supérieure, salle Favard in the new building of the ENS, 46 rue d’Ulm, 75005, Paris. Program is available here.

 

Talk  1 : Jean-Baptiste JOINET : Negation – From Ideality to Interaction

Click here for link to recording of this talk

Talk 2 : Dirk SCHLIMM : Pasch’s Ideal ofProof

Click here for link to recording of this talk

Talk 3 : Irina STARIKOVA : Intuition, Visualization, Geometric Shifts and Proofs.

Click here for link to recording of this talk

Talk 4 : Mark Van Atten : Intuitionism as Phenomenology : A Critique of Rota.

  

8th IP Fellows’ Seminar Jean-Baptiste Joinet: Negation: from ideality to interaction
Dirk Schlimm: Pasch’s ideal of proof
Irina Starikova: Intuition, Visualization, Geometric Shifts & Proofs’
Mark van Atten: Intuitionism as phenomenology: a critique of Rota

 

—oOo— 

24th – 26th MARCH 2010  IHES  Burre-sur-Yvette

Colloque

­­­­­La reconquête de la dynamique par la géométrie après Lagrange

24 – 26 mars 2010

  ­ ­

Le but de ce colloque est de revisiter les rapports entre géométrie et dynamique à l’occasion du 200ème anniversaire de la publication d’importants ­travaux de Lagrange et Poisson. On sait que l’ambition de Lagrange, dans sa Mécanique Analytique, était d’éliminer la géométrie de la Mécanique. Lagrange et Poisson ont développé la méthode de la variation des constantes, reformulée beaucoup plus tard par Souriau en termes de la variété des mouvements. A côté d’exposés de nature historique, seront aussi abordés des développements récents concernant la mécanique céleste et les systè­mes avec contraintes (Dirac) ainsi que les symétries.

­ ­

Organisateurs :

Jean Pierre BOURGUIGNON (CNRS-IHÉS), Pierre CARTIER (CNRS-IHÉS), Yvette KOSMANN-SCHWARZBACH (École Polytechnique)­
­

­Conférenciers  : ­  ­

Henrique BURSZTYN, IMPA, Rio de Janeiro, Brésil
Pierre CARTIER, CNRS-IHÉS
Alain CHENCINER ,  (IMCCE), Observatoire de Paris – (Dept de mathématique), Université Paris 7
Patrick IGLESIAS-ZEMMOUR, Centre de Mathématiques et Informatique, Marseille, France
­
Yvette KOSMANN-SCHWARZBACH, École Polytechnique
Ralf KRÖMER, Universität Siegen, Deutschland
Franco MAGRI, Universita degli Studi di Milano-Bicocca, Italia
Charles-Michel MARLE, Institut de Mathématiques de Jussieu, Paris, France
Peter OLVER, University of Minnesota, Minneapolis, USA
Jean-Pierre RAMIS, Université Paul Sabatier, Toulouse, France
Tudor RATIU, École Polytechnique Fédérale de Lausanne, Suisse ­
­ 

­S’ins­crire

 L’inscription est obligatoire (sauf pour les conférenciers et organisateurs)

­­ ­
­­PROGRAMME PROVISOIRE­ ­
­ ­
­

­

Mercredi 24 mars 2010


9h00-9h45 Accueil des participants
9h45-10h00­ Présentation du colloque par Pierre Cartier
10h00-11h00 Franco Magri, Uni­versità degli di Milano-Bicocca
Lagrange’s second essay on the libration of the moon (1780) and the birth of modern symplectic mechanics
11h15-12h15 Pierre Cartier, CNRS-IHÉS
­Hamilton et l’optique
12h15-14h00 Déjeuner
14h00-15h00 Yvette Kosmann-Schwarzbach, École Polytechnique, Palaiseau
Sur les lois de conservation
15h15-16h15 Charles-Michel Marle, Institut de Mathématiques de Jussieu, Paris
Lagrange et le mouvement des planètes
 
   
Jeudi 25 mars 2010


10h00-11h00 Henrique Bursztyn, IMPA, Rio de Janeiro
Dirac structures and applications
11h15-12h15 Peter Olver, University of Minnesota, Minneapolis
Poisson structures and integrabilit­y
12h15-14h00 Déjeuner
14h00-15h00 Ralf Krömer, Universität Siegen
La poire de discorde. Le débat autour des travaux de Poincaré sur les figures d’équilibre de masses fluides­
15h15-16h15 Tudor Ratiu, EPFL, Lausanne
Reduction of variational principles and Euler-Lagrange equations
16h15 Thé
16h45-17h45  Alain Chenciner, Observatoire de Paris, Université Paris 7
La réduction par Lagrange du problème des trois corps
  ­
Vendredi 26 mars 2010


10h00-11h00 Patrick Iglesias-Zemmour, CMI, Marseille et Weizmann Institute, Rehovot
Dynamique et géométrie des mouvements
11h15-12h15 Jean-Pierre Ramis, Université Paul Sabatier, Toulouse
Systèmes intégrables et théories de Galois
12h15 Conclusion par Jean Pierre Bourguignon­ ­

 

25th MARCH 2010 : Univ. Paris 7  at. Condorcet (Salle TBA)  10:00 – 13:00 hrs 

Third Lecture in Course by René Guitart

  
titre du cours : Catégories et structures
  
but du cours : Théorie catégoricienne des structures et son usage pour la modélisation.
Le noyau de notions développées, accompagnées d’exemples en algèbre et en géométrie, sera : Catégories et foncteurs, foncteurs représentables,  problèmes universels. Limites et colimites, notions d’esquisse et de trame. Structures libres et monades, opérades. Diagramme localement libre. Sites et topos, univers, univers algébriques. Algèbres figuratives. 
  
dates des 6 séances : jeudi 25 février (première séance), jeudi 11 mars, jeudi 25 mars, jeudi 8 avril, jeudi 29 avril, jeudi 13 mai.
horaires :  de 10h à 13h. 
durée totale : 18 heures de cours.
lieu :  Université Paris Diderot Paris 7, Bâtiment Condorcet, 10 rue Alice Domon et Léonie Duquet, Paris 75013 (la salle sera précisée ultérieurement)

—oOo— 

25th MARCH 2010 :  Paris/EHESS  17:00 – 20:00 Hrs

Mathematical Structures  and Philosophical Concepts of Spacetime in Contemporary Physics

A Lecture Course delivered by Luciano BOI. Salle 206 MSH 54 Bd Raspail 17:00 – 20:00 hrs

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

 —oOo—

25th March 2010  17:00-19:00 hrs ENS Paris

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

 

Lecture 6  ENS 17:00 – 19:00 25th March 2010

 

25th and 26th MARCH  UNIVERSITY NANCY 1

Colloquium on Spacetime Structure

Programme

Jeudi 25 mars
    Chairman: Léna Soler

  • 9h00 : Christophe Bouriau (Archives Poincaré, Nancy),
    Kant et Poincaré sur l’espace : deux conceptions opposées ou complémentaires ?
  • 10h00: Olivier Bruneau (Nantes)
    La question de l’espace et du temps chez Maclaurin : le cas de la figure de la Terre
  • 11h00 : Pause Café
  • 11h30 : Jean Eisenstaedt (Observatoire de Paris)
    La relativité générale au tournant des années soixante
  • Chairman: Christophe Chatelain

  • 14h00 : Christian Maes (Leuven)
    Thermodynamic space-time
  • 15h00 : Alexis de Saint Ours (Paris VIII)
    La disparition du temps en gravitation quantique : enjeux et significations
  • 16h00 : Pause Café
  • 16h30 : Claus Kiefer (Cologne)
    Does time exist in quantum gravity ?
     
  • 17h30 : Philippe Lombard (IECN-Archives Poincaré, Nancy
    L’au-delà de l’horizon
Vendredi 26 mars
    Chairman: François Chargois

  • 9h00 : Marc Chaperon (Paris VII)
    Sur un théorème de Hawking
  • 10h00 : Scott Walter (Archives Poincaré, Nancy)
    L’espace-temps conventionnel, et l’atome du temps chez Poincaré 
  • 11h00 : Pause Café
  • 11h30 : Etienne Klein (CEA, Paris)
    Le temps est-il un cas de conscience ?
  • 14h00-16h00 : Table ronde animée par Alexis de Saint Ours et Catherine Dufour

 

For information see  :    http://www.lpm.u-nancy.fr/webperso/chatelain.c/GroupeM/Colloque-Mars10/index.html

—oOo—

25th & 26th MARCH 2010 : Nancy

Logic and Rational Reconstruction of Science from a Pragmatic Point of View :

International conference – March 25-26, 2010 – Nancy Université
MSH Lorraine, 91 avenue de La Libération, Salle Internationale.

Program

Thursday March 25th

8h40: Keynote Address: Frédérick Tremblay

8h45: THOMAS UEBEL (Manchester University, Angleterre): “Carnap and Kuhn. Comments on the Relation between the Logic of Science and the History of Science.”

10h15: Coffee break

10h30: KUNO LORENZ (Sarrebrücken Universität, Allemange): “What is rational in reconstructing fields of knowledge? ”

12H00: LUNCH

13h45: ANDRE CARUS (Cambridge University, Angleterre): “Poincaré and Carnap: A Pragmatism without Qualities”

15h15: Coffee break

15h25: GERHARD HEINZMANN (Archives Poincaré, Université Nancy 2, France): “The pragmatical reconstruction of geometry by Poincaré:  its reception in logical empiricism and by those who reconsidered logical empiricism”

16h50: Break

17h00: SHAHID RAHMAN (Université Lille III, France): “Hintikkas Trees for Enquiry Games and the Dialogical Meaning of Negation” 

18h30: End of the day

Friday March 26th

8h45: STEVE AWODEY (Carnegie Mellon University, USA): “Carnap’s rational reconstruction of logical truth”

10h15: Coffee break

10h30: PIERRE WAGNER (IHPST, University Paris 1, France): “Truth and pragmatic choice in Carnap’s reconstruction of scientific theories”

12H00: LUNCH

13h45: WILLIAM DEMOPOULOS (University of Western Ontario, Canada): “On extending “Empiricism, Semantics and Ontology” to the realism-instrumentalism controversy”

15h15: Coffee break

15h25: ERICH RECK (University of California-Riverside, USA): “Carnap, Logicism, and the Pragmatics of Explication”

16h50: Break

17h00: HELGE RÜCKERT (Mannheim Universität, Allemagne): “Pragmatism and the Semantics/Pragmatics Distinction” 

18h30: End of the conference

18h45: Presentation of Poincaré’s manuscripts by Gerhard Heinzmann

—oOo— 

26th March 2010 : Universite Paris 7 Diderot :

Journee  ” Hommage a Andre Revuz”

See Program at http://smf.emath.fr/files/text_like_files/hommagerevuz.pdf

Further Details to be added.

—oOo— 

29th March 2010  Paris  IHPST 13 Rue du Four

9:30-12:30  IHPST Grand Salle  LOSSIM Philosophy of Math Seminar

Details tba : Responsable :  Mark van Atten

—oOo—

29th March 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)

F. Merlin :  Physical and Chemical Properties of TransNeptunian Objects and Evidence for their Surface Evolution

—oOo—

29th March 2010 : ENS Seminar in Philosophie et Mathematiques

18:00 hrs Amphi. Rataud Level -1  45 Rue D’Ulm Paris

Alain BLUM (INED)

La Science statistique et le pouvoir : L’Exemple Sovietique

—oOo—

 

29th March 2010

MSH Paris  54 Boulevard Raspail Salle 214  : Seminaire Histoire des Geometries

Pierre PANSU (ENS)  :  L’Oeuvre de  Misha GROMOV

—oOo— 

31st March 2010 : IHP Salle 201 14:00-16:00 hrs :

Seminar on Historical and Epistemological Approaches to the Study of Mathematical Concepts

(Seminaire IREM)

Michel SERFATI & Michel WALDSCHMIDT (Inst Math Jussieu)

The Irrationality of Transcendental Numbers

—oOo—  

31st March 2010 :

Seminar on Mathematical General Relativity

Wednesday March 31st, 2010  at Institut d’Astrophysique de Paris

for detailed information see
  • 11h30   Alain Chenciner (Institut de Mécanique Céleste et de Calcul des Ephémérides)    Symétries continues et symétries discrètes dans le problème newtonien des N corps: des équilibres relatifs aux chorégraphies et aux hip-hops
  • 14h00  Philippe Grandclément (LUTH, Observatoire de Meudon) Kadath: a spectral solver and its application to black hole spacetimes

—oOo—

Lecture Course by Guiseppe LONGO :  6  Lectures on “A Partir de L’Incompletude : Indecidabilite Logique et Aleatoire Physique” 

Lecture 1  ENS 17:00 – 19:00 9th March 2010

Lecture 2  ENS 17:00 – 19:00 11th March 2010

Lecture 3  ENS 17:00 – 19:00 16th March 2010

Lecture 4  ENS 17:00 – 19:00 18th March 2010

Lecture 5  ENS 17:00 – 19:00  23rd March 2010

Lecture 6  ENS 17:00 – 19:00  25th March 2010

Further events to be added