April 2010
AGENDA : In April 2010 The Archive hopes/plans to record the following events
APRIL 2010 : Date TBA
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
Avril 2010
Optique et mathématiques
Hussein Masoumi(Univ. Sharif, Téhéran)
Daniele Molinini(SPHERE, CNRS-Un. Paris Diderot)
Olivier Darrigol (SPHERE, CNRS-Un. Paris Diderot)
Dominique Raynaud (Univ. Grenoble)
—oOo—
2nd April 2010 REHSEIS Working Group Philosophie et Physique
Salle 483A Malevich Bat. Condorcet Univ. Paris 7 Diderot.
14:00 – 17:00 hours
Thierry PAUL & Sebastien POINAT (Nice) : Emergence & Reduction in Quantum Theory
—oOo—
6th April 2010 : ENS Salle des Resistants : 18:00-20:30 hrs
Atelier Simondon
Anne Lefebvre & Jean-Hugues Barthelemy : The Notion of “Invention” in Simondon
—oOo—
7th April 2010
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
7 avril 2010 – 18 h 30 Les prodigieux théorèmes de Monsieur Nash J. Nash, C1 isometric Imbeddings, Annals of Mathematics, vol. 60 (1954) Cédric Villani |
—oOo—
8th APRIL 2010 : Univ. Paris 7 at. Condorcet (Salle TBA) 10:00 – 13:00 hrs
Fourth Lecture in Course by René Guitart
—oOo—
8th APRIL 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—
9th APRIL 2010 : 1 Day Colloquium on CHU SPACES and their Applications in Mathematics and in Music Theory
in Series MaMuX at IRCAM ; For further details see
http://recherche.ircam.fr/equipes/repmus/mamux/ProgrAvril2010.pdf
Espaces de Chu et musique
La matinée se déroulera sous la forme d’un cours introductif au cadre théorique général animé par Vaughan Pratt, l’un des spécialistes de ce domaine. Dans l’après-midi on se concentrera sur trois aspects de ce formalisme qui sont susceptibles d’ouvrir des applications nouvelles en musique.
- 10h – 12h Vaughan Pratt – A Chu Space Tutorial
- 14h30 – 14h45 Moreno Andreatta & Carlos Agon – Introduction to the session
- 14h45 – 15h30 Paul-André Melliès – Chu Spaces and the construction of a duality
- 15h30 – 16h15 Timothy Porter – The Geometry of Observation
- Break
- 17h00 – 17h45 Vaughan Pratt – Evolution of music and speech: a Chu perspective
- Discussion finale
The videorecordings of the afternoon talks and Discussions can be seen by clicking on this link : http://video.ircam.fr.index.html and following the instructions.
—oOo—
12th APRIL 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)
S. Mathis : Tidal Forces in Planetary and Stellar Systems
Click here to listen to recording of this seminar
—oOo—
April 12th, 2010 : REHSEIS Seminar in Philosophy of Mathematics
Carving mathematics up
Session organized by Brice Halimi (Université Paris X – Nanterre)
Location : Batiment Condorcet Paris 7 : Room Klee, 454A, 14h-17h
9h30-11h
Sébastien Gandon (Université Blaise Pascal de Clermont-Ferrand)
Logicism, universalism and topic-specificity
11h10-12h40
Andrew Arana (Kansas State University)
Purity and the carving of mathematics
14h30-16h
Boris Zilber (Oxford, Mathematical Institute)
Quantum space : a model-theoretic point of view
16h10-17h40
Paul-André Melliès (University Paris Diderot -Paris 7, PPS)
Towards an algebraic presentation of proof theory
Abstract :
The session aims at linking two threads together. The first one bears on logic from a dominantly philosophical point of view, the second one on the connections between logic (more as a branch of mathematics) and ’traditional’ mathematics. The centenary of the publication of Principia Mathematica is a basis for the first thread. Sébastien Gandon (Clermont-Ferrand) and Andrew Arana (Kansas State), will give a talk. Sébastien defends the idea that Russellian logicism can be thought as putting forward a topic-specific view of mathematical fields (in particular of geometry and measure theory), at least much more than one usually makes out. Andrew, on the other hand, will discuss his work on the ideal of purity of proofs in mathematics. The second thread bears on mathematical logic as providing ways of carving mathematics up. Proof-theoretical analysis can indeed be viewed as a sweep of the whole of mathematics, giving rise to original reorganizations, and Paul-André Melliès (Paris 7, PPS) will give a talk about the connections between proof theory and categorical algebra. Finally, Boris Zilber (Oxford, Institute of Mathematics) will set out the concept of categoricity as a general notion to describe mathematical structures, and speak of connections between model theory and geometry. So, to seum up, the general theme will be : Carving Mathematics Up. Is there a natural way of doing it ? This question will be tackled from two different perspectives, philosophy and the Principia on the one hand, and contemporary mathematical logic on the other hand.
—oOo—
April 13th 2010 : Philosophy of Mathematics Workshop Univ Paris 7 Diderot:
Room 366 A Klimt : WORKSHOP on COMPLEXITY of PROOFS
11:00-12:30 : Alessandro CARBONE (Univ Pierre & Marie Curie) : Logical Structures, Cyclic Graphs and The Genus of Proofs
14:00 – 15:30 : Michael HARRIS (Paris 7)
Complexity as A Guide to Understanding Proofs
15:30 – 17:00 ; David CORFIELD (Univ of Kent) : The Complexity of Proofs and their Robustness
—oOo—
14th April 2010 14:00 hrs
IHP Seminar on Historical and Epistemological Approaches to the Study of Mathematical Concepts
(Salle 201) ; Rached MNIEMNE : Affine Geometry – Une Geometrie a La Genealogie Evasive.
—oOo—
APRIL 15th – 17th 2010 : BOSTON/USA
THE BOSTON COLLOQUIUM JUBILEE
The Boston University Center for Philosophy & History of Science, which sponsors the
Boston Colloquium for Philosophy of Science, was established in 1960 by Professors
Marx Wartofsky and Robert S. Cohen. They conceived a forum of scholarly exchange in
the broadest interdisciplinary framework to characterize the natural and human sciences
in their cultural and historical contexts. The Colloquium, which began as a Boston-based,
informal inter-university collaboration, has become a premier stage for national
and international dialogue on all aspects of the philosophy and history of science, mathematics, and logic. 2010 marks the Jubilee celebration of the Colloquium’s founding and the final year of Professor Alfred Tauber’s seventeen-year directorship of the Center.
PHILOSOPHY AND HISTORY OF SCIENCE: THEN AND NOW
Thursday–Saturday, April 15–17, 2010
The Castle, 225 Bay State RoadDay 1: Perspectives, Thursday, April 15
Morning Session: 9 a.m.–Noon
Moderator: Daniel Dahlstrom, Boston University
Michael Lynch, Cornell University
The Checkered Career of Symmetry in Recent Social Studies of Science
Commentator: Jeff Coulter, Boston University
Don Howard, University of Notre Dame
The Trouble with Metaphysics
Commentator: John Stachel, Boston University
Afternoon Session: 2–5 p.m.
Hilary Putnam, Harvard University
On Not Writing Off Scientific Realism
Commentator: Peter Bokulich , Boston University
Alasdair Macintyre, University of Notre Dame
After Morgenbesser: The Continuing Messiness of the Social Sciences and Some Related Incoherences
Commentator: Lee McIntyre, Boston University
Day 2: Physics and Epistemology, Friday, April 16
Morning Session: 10 a.m.–Noon
Moderator: Alisa Bokulich, Boston University
Steven French, University of Leeds
Mixing in the Metaphysics: How Humble Should the Realist Be?
John Norton, University of Pittsburgh
Cosmic Confusions: Not Supporting versus Supporting Not-Afternoon Session: 2–5 p.m.
Jaako Hintikka, Boston University
Induction, Then and Now
Margaret Morrison, University of Toronto
Changing Trends in the Epistemology of Science: Theory Meets Practice
Nancy Cartwright, London School of Economics
Putting Philosophy of Science to Use: Does Studying “Actual Practice” Help?Day 3, Saturday, April 17
Morning Session: Biology
9 a.m.–Noon
Moderator: Alfred Tauber, Boston University
Elisabeth Lloyd, Indiana University
Models, Explanations, and Variation
Alex Rosenberg, Duke University
Invariants, Arms Races, and Natural Selection in Human Affairs
Sahotra Sarkar, University of Texas
After Biodiversity?
Afternoon Session: Summing Up
1:30–4 p.m.
Robert Cohen, Boston University
Reflections on the Past
Alfred Tauber, Boston University
Reflections on the Future
Round Table Discussion
—oOo—
APRIL 18th – 25th 2010
IIIrd WORLD CONGRESS and SCHOOL ON UNIVERSAL LOGIC
Lisbon, PORTUGAL
Details to be added. 10 Special sessions : including : Logic Diagrams, Substructural logics, non-classical mathematics, Categorical Logic
10 Invited Speakers : incl. Hartry FIELD, Yuri GUREVICH, Gehrard JAEGER, Dana SCOTT
21 Tutorial sessions.
19th APRIL 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)
D. Savoie : Le Cadran Solaire du Barage de Castillon
Click here for link to recording of this seminar
—oOo—
20th April 2010 : CREA Seminar (New Venue : 32 Bd. Victor 75015 Paris : Salle 28 132 : 1st Floor : 17:00 – 18:30 hrs)
Seminar in Theoretical Biology
Athel CORNISH-BOWDEN & Maria-Luz CARDENAS
A Simple Self-organising Metabolic System
—oOo—
REHSEIS Seminar in Early Modern Mathematics : Batiment Condorcet Univ Paris 7
Mercredi 21 avril 2010, 10h-13h : “Newton’s Geometria Curvilinea : from the mathematics of the De Analysi to those of the Principia”
Massimo GALUZZI (Univ di Milano, Dept Math)
—oOo—
22nd APRIL 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—
24th – 25th APRIL 2010
PSSL 90 : The 90th Peripatetic Seminar on Sheaves and Logic
Institut für Theoretische Informatik
TU-Braunschweig
Further detailed Information to be added.
—oOo—
26th APRIL 2010 : 14:00 hrs Salle Atelier Observatoire de Paris/Seminaire “Temps et Espace” (Seminaire SYRTE – IMCCE – Observatoire de Paris)
C. Bizonard : The Chandler Oscillation (nearly) resolved
—oOo—
29th APRIL 2010 : Univ. Paris 7 at. Condorcet (Salle TBA) 10:00 – 13:00 hrs
Fifth Lecture in Course by René Guitart
—oOo—
29th April 2010 : Oxford : Philosophy of Physics Seminar Lecture Room 10 Merton Street
(Convenors : Chris TIMPSON and Harvey BROWN)
1st Week of Hilary Term : Alastair Wilson “Metaphysics in light of Everettian Quantum Mechanics”
—oOo—
13th – 28th APRIL 2010
Lecture Course on Topos Theory by Professor Peter JOHNSTONE (Cambridge)
in PISA (Italy) under the auspices of
Instituto Giorgi, Scuola Normale Superiore Pisa and University of Pisa
(Many thanks to Dotoressa Olivia Caramello of the Instituto Giorgi, Prof. Alberto Peruzzi (Universita di Firenze) and organisers at Scuola Normale Superiore Pisa for very kindly making arrangements for the recordings. See also the links in the February 2010 Catalogue/Agenda page to the recordings of Dotoressa Olivia Caramello’s series of Research Talks and Lecture Course at Instituto Giorgi.)
Tuesday 13 April : Toposes as spaces
Sala Stemmi (Palazzo della Carovana), SNS di Pisa, 14.30 – 16.30.
Monday 19 April : Toposes as categories of spaces
Aula Dini (Palazzo del Castelletto), SNS di Pisa,14.30 – 16.30.
Tuesday 20 April : Toposes as higher-order theories
Sala Seminari, Dipartimento di Matematica, Universita 14.30 -16.30.
Tuesday 27 April : Toposes as categories of manifolds
Sala Seminari, Dipartimento di Matematica, Universita , 14.30 -16.30.
Wednesday 28 April : Toposes as models of Set Theory
Aula Dini (Palazzo del Castelletto), SNS di Pisa 14.30 – 16.30.
(Continue reading) <http://permalink.gmane.org/gmane.science.mathematics.categories/5689>
Many further events to be added