Ideals of Proof 2009 Recordings
2009 RECORDINGS of Ideals of Proof and related Events
January 22nd 2009 Ideals of Proof Fellows Seminar
The Second 2009 IP Fellows Seminar took place in Paris, Thursday, January 22nd 2009 Ecole Normale Supérieure, Salle Dussane. The Special guest speaker was Prof. Agustin Rayo (Philosophy, MIT). The program is available here.
22nd January 2009 : 2nd IP Fellows Seminar
First Talk by Renaud CHORLAY : “Ways out of the Grey”
Size 1.65 GB Bitrate 1411 Kbps (Wave Sound File – Highest Quality sound reproduction)
Click here for link to recording of Renaud CHORLAY’s Talk
22nd January 2009 : 2nd IP Fellows Seminar
Andrei RODIN : How Mathematical Concepts Get their Bodies : The Example of Forcing
Click here for link to recording of Andrei Rodin’s Talk
Click here for link to recording of discussion/Q&A Session following his Talk.
Professor Augustin RAYO : Towards A Trivialist Account of Mathematics
Click here for recording of Professor RAYO’s Talk
Click here for recording of Discussions following Prof. RAYO’s Talk
Other speakers at this IP Fellows Workshop were unfortunately not recorded.
—oOo—
February 27th 2009 : The Third IP Fellows Seminar at 9h30 in Salle17B of the Halle aux Farines building on the Grands Moulins Campus of University Paris 7 -Diderot. The program is available here.
February 27th 2009 : 3rd IP Fellows Workshop. Session I 9:30 – 11:00 : Sebastian MARONNE :
Ideal Elements and Projective Geometry in Modern Mathematics
Click here for link to recoring of Sebastian MARONNE’s Talk
Click here for his Overheads
Session II : 11:15 – 12:45 : Oliver SCHAUDT :
Abstraction and Ideation : A Constructivist Approach to the Nature of Mathematical Concepts
Click here for link to recording of Oliver SCHAUDT’s Talk
Session III (Focus Session) 14:00 – 15:30 : Paul McCALLION :
Ideal Numbers –vs- Numerical Properties
Click here for link to recording of Paul McCALLION’s talk and subsequent discussion
Session IV (Focus Session) 15:45 – 17:15 : John MUMMA :
Contentful reasoning and Rigor in Elementary Geometry
Click here for link to recording of John MUMMA’s Talk and subsequent discussion
—oOo—
MARCH 5th 2009 : A joint Ideals of Proof-REHSEIS workshop on the Topic of “Ideal Elements in Mathematics” took place in Paris on Thursday, March 5th, 2009, at 9h30 The program is available here.
The following Talks in this Workshop were recorded :
5th MARCH 2009 :REHSEIS 1 Day Workshop
Talk by David RABOUIN on Leibniz on Infinitesimals
Click here for link to recording of David RABOUIN’s Talk
and here for link to recording of Discussion/Q&ASession following his Talk
Joint Talk by Karine CHEMLA Chemla and B. Belhoste (Main part) 1 hour 20 mins 57 seconds
Part i) Belhoste on Poncelet’s ideal Elements in Geometry : Between Carnot and Chasles
Click here for link to recording of Belhoste’s Talk
Talk by Karine Chemla (Part) 22 mins 32 seconds
Click here for link to recording of Karine Chemla’s Talk.
Karine Chemla and B. Belhoste Joint Talk on Poncelet’s use of Ideal Elements : Discussion Session after Lunch : 28 minutes 11 seconds
Click here for link to recording of Discussion Session following Joint Talk of Chemla and Belhoste
Talk by Brice HALIMI : Ideal Elements and Extensions : The Case of Nonstandard Set Theory : 1 hour 21 mins 47 seconds
Click here for link to recording of Brice HALIMI’s Talk
Click here for Overheads
Talk by Ivahn SMADJA : Kronecker on Ideal Numbers and Mathematical Substance :
1 hour 43 minutes 58 minutes
Click here for link to Ivahn Smadja’s Talk
Click here for link to discussions after his Talk
Click here for his Overheads
20th March 2009 : Seminaire RIEMANN Ecole Normale Superieure : Working Group on the Reception of Riemann’s Work
(Not an IP Event, but IP Fellows regularly take part)
Talk 1 by JJ SZCZECINIARZ : The Reading of Rieman, esp. the 1854 Habilitationschrift, in Spivak’s Texts on Differential Geometry
2 hours 18 minutes 18 seconds : Click here for link to recording of JJ Szczeciniarz’s Talk.
20th March 2009 : Seminaire RIEMANN ENS : Working Group
Talk 2 by Francois CHARGOIS : Hermann Weyl’s 1919 Re-reading of Riemann (1854)
2 hours 14 minutes 54 seconds
RECORDINGS OF Seminaire Riemann 27th March 2009
« Kronecker, Algèbre, géométrie algébrique, arithmétique »
Talk 1 Jacqueline Boniface (Université de Nice)
« Concept et calcul chez Kronecker »
1 hr 21 mins 23 seconds : Click here for link to Recording of Jacqueline Boniface’s Talk.
Talk 2 : Frédéric Brechenmacher (Université d’Artois, LML, EA 2462)
« Articulations entre arithmétique et algèbre chez Kronecker »
1 hr 28 mins 39 seconds : Click here for link to recording of F. Brechenmacher’s Talk
(The Following cancelled his Talk : Erwan Penchèvre (CHSPAM, Université Paris 7)
Kronecker et sa méthode d’élimination )
—oOo—
April 15th – 16th 2009 : Ideals of Proof/Chaire D’Excellence Research Group Workshop on the Ideas of Proof Theory
The Ideals of Proof Chaire d’Excellence Research Group sponsored a two day workshop on April 15th and April 16th 2009 in Paris on The Fundamental Idea of Proof Theory. in the Salle Dussane of the Ecole Normale Supérieure (45 rue d’Ulm, Paris 75005). The program is available here.
Day 1 ; 15th April 2009
Talk 1 by Per MARTIN-LOF : Hilbert and the Notion of Naturality of Proofs
Click here for recording of talk
and here for recording of following discussions
Talk 2 : Dag PRAWITZ : Conflicting Intuitions regarding Deductive Proof
Click here for recording of talk
and here for recording of following discussions
Day 2 : 16th April 2009 :
Talk by Rafael NUNEZ : Towards the Cognitive Foundations of Mathematical Reasoning and Proof
Click here for recording of talk
and here for recording of following discussions
Talk by Walter SIEG : Uncovering Aspects of the Mathematical Mind
Click here for recording of talk
and here for recording of following discussions
April 30th 2009 Nancy : 4th IP Fellow Seminar
The fourth IP Fellows Seminar took place in Nancy on Thursday, April 30th 2009. The program is available here.
—oOo—
Wednesday 13th May 2009 : Special Joint Ideals of Proof – REHSEIS Workshop with 2 Invited Speakers
A joint Ideals of Proof-REHSEIS workshop took place on Wednesday, May 13th 2009 with Talks by Professor Steve AWODEY and Professor Colin McLARTY The program is available here.
Talk 1 by Steve AWODEY : Ideals and Proofs : Domain Extensions in Algebraic Set Theory and a category Theoretic Viewpoint on the Objects of A Theory of Proofs : 1 hour 37minutes 29 seconds
Click here for link to recording of Steve AWODEY’s Talk
Click here for Overheads
Talk 2 by Colin McLARTY : What Does The Philosophy of Mathematics Gain From The Study of Contemporary Mathematics ? Plus following discussions.
1 hour 16 minutes 48 seconds : Click here for link to Recording of Colin McLARTY’s Talk.
21st May 2009 :
Joint ENS /IHPST/REHSEIS Workshop with participation of IP Fellow Jeremy Avigad
Talk 1 : Jeremy AVIGAD (Carnegie-Melon) : Why Math is Hard (and How This Bears on the Objectivity of Normative Assessments of Mathematical Practice)
1 hr 51 mins 28 seconds : Click here for link to recording of Jeremy Avigad’s Talk
Talk 2 : Alex PASEAU (Oxford) : Hilbert, Godel, Instrumentalism and Inductive Evidence : 1 hour 49 mins 29 seconds : Click here for link to recording of Alex PASEAU’ Talk
22nd MAY 2009 : Seminaire RIEMANN : ENS Salle Henri Cartan :
Talk 1 : Gilles COHEN-TANNOUDJI : Le Concept De L’Horizon de Realite Chez Ferdinand GONSETH : 1 hour 25 minutes 06 seconds : Click here for link to Recording of Prof. COHEN-TANNOUDJI’s Talk
Track 24 : Renaud CHORLAY (IP Fellow) : En Quel Sens Veblen et Whitehead Fondent-Ils La Gometrie Differentielle ? : 1 hour 35 minutes 57 seconds : Click here for link to recording of Renaud CHORLAY’s Talk
May 26th 2009 : An Ideals of Proof Workshop “Mathematical Knowledge, Sense and Content” with Juliet Floyd and Jeremy Avigad took place in Paris. The program is available here.
Talk 1 : Juliet FLOYD (Boston) : Wittgenstein, Godel and Turing :
1 hour 28 minutes 48 seconds : Click here for link to Recording of Juliet FLOYD’s Talk
Talk 2 : Jeremy AVIGAD (CMU) : The Role of Proof in Modern Mathematics
1 hour 43 minutes 16 seconds : Click here for link to Recording of Jeremy AVIGAD’s Talk
June 3rd – 24th 2009 : “Proof, Creation and Freedom in Mathematics” :
A Series of 4 Invited Lectures by Prof. Michael Detlefsen’s (ANR Chair D’Excellence Ideals of Proof Program) at the Collège de France
3rd JUNE 2009 : 17:00 hrs / Lecture 1 : Creation, Freedom and Concept Introduction in Mathematics
Click here for Link to recording of This Lecture
June 10, 2009 17h00 hrs : Lecture 2 : Freedom and Consistency
Click here for Link to recording of Prof. Detlefsen’s Second College de France Lecture
June 17, 2009 17h00 hrs : Lecture 3 : Freedom and Fruitfulness
Click here for Link to recording of Prof. Detlefsen’s Third College de France Lecture
June 24th, 2009 : 10h00hrs. Lecture 4 : The End of Freedom.
Click here for link to Prof. Detlefsen’s Fourth College de France Lecture
and Here for recording of discussion/Q&A Session following this Lecture
Location : Salle 2, Collège de France, 11 Place Marcelin Berthelot, 75005 Paris
4th – 6th JUNE 2009 : An International Colloquium entitled “ONTOLOGICAL SHIFTS IN GEOMETRY” Took place under the joint auspices of The Ideals of Proof Program and REHSEIS in The Seminar Room at Universite Paris 7
4th – 6th JUNE 2009 : IP/REHSEIS Joint Conference (Universite Paris VII)
ONTOLOGICAL SHIFTS IN GEOMETRY
4th June 2009 Day 1 of Conference on Ontological Shifts in Geometry
(Talk 1 : Introductory Address by Marco PANZA followed by Talk 2 : JOHN MUMMA : Relations in Geometrical Figures versus relations in Geometric Spaces)
Click here for link to recording of Marco PANZA’s Opening Address and John MUMMA’s Talk : Track 27 : 1 hour 49 minutes 07 seconds
Talk 3 : Richard PETTIGREW : Aristotle and Lawvere on the Ontology of Geometry
Click here for link to recording of Richard PETTIGREW’s Talk : Track 28 : 1 hour 18 minutes 06 seconds
Talk 4 : (4th June PM) : Ken MANDERS : Poncelet’s Uniform Treatment of Euclidean Geometry
Click here for link to recording of Ken MANDERS Talk : Track 29 : 1 hour 15 minutes 54 seconds
Talk 5 by Sabetai UNGURU (Tel Aviv) : The 4-line locus in Apollonius’s Conics : Geometry and Algebra
Click here for link to recording of Sebatai UNGURU’s Talk : Track 30 : 1 Hour 18 minutes 32 seconds
Talk 5 : Victor PAMBUCCIAN : Existence and Constructions in Axiomatic (1st Order) Geometry
Click here for link to recording of Victor PAMBUCCIAN’s Talk : Track 31 : 1 hour 17 minutes 47 seconds
5th JUNE 2009 ; Day 2 of Conference on Ontological Shifts in Geometry
Talk 1 : Michael RESNIK : on Structuralism and Geometry
Click here for link to recording of Michael RESNIK’s Talk
Talk 2 : Geoffrey HELMANN : Does Mathematical Geometry Need Ontology ?
Click here for link to recording of Geoffrey HELMANN’s Talk : Track 32 : 1 hour 23 minutes 22 seconds
Talk 3 : Jaako HINTIKKA : The Ontology of Geometry : Nominalistic, Set-Theoretic or Epistemic ? Ontological Shifts in Logic and Geometry.
Click here for link to recording of Jaako HINTIKKA’s Talk.
Talk 4 : Mic DETLEFSEN : Construction, Figures and Proof
Click here for link to recording of Mic DETLEFSEN’s Talk
Talk 5 : Jan Van PLATO : The Point of Intuitionistic Geometry
Click here for link to recording of Jan Van PLATO’s Talk : Track 35 : 1 hour 00 minutes 27 seconds
June 6th 2009 Day 3 of Conference on Ontological Shifts in Geometry
Talk 1 : Paola CANTU : Did Grassmann’s Theory of Extensions (Extensive Quantities) produce an Ontological Shift in Geometry?
Click here for link to recording of Paola CANTU’s Talk : Track 36 : 1 hour 17 minutes 11 seconds
Talk 2: Mathieu HUSSONN : Do The Geometrical terms used in the Work of Dietrich of Freiburg’s “De Coloribus” refer to Geometrical Concepts in anything like a modern sense ?
Click here for link to recording of Mathieu HUSSON’s Talk : Track 37 : 1 hour 12 minutes 33 seconds
Talk 3 : Carla Rita PALERMINO : Galileo on The Ontological Status of Mathematical Entities
Click here for link to recording of Carla Rita PALERMINO’s Talk : Track 38 : 1 hour 31 minutes 42 seconds
Talk 4 : Sebastien MARONNE: Pascal and The Ontology of Infinite Objects in Geometry
Click here for link to recording of Sebastian MARONNE’s Talk. Track 39 : 1 hour 14 minutes 25 seconds
June 25th and 26th 2009 : International Conference at Pont-Au-Mousson entitled
“The Imaginary, the Ideal and the Infinite in Mathematics.”
An Ideals of Proof Project jointly sponsored workshop with the TransCoop Project of the Alexander von Humboldt Stiftung
Speakers included Andrew Arana, Michael Detlefsen, Wilfrid Hodges, Paolo Mancosu, Felix Mühlhölzer, Karl-Georg Niebergall, Michael Potter, Matthias Schirn, Ivahn Smadja, Jamie Tappenden and Albert Visser. The program is available here. Location of Conference : Pont-A-Mousson
Recordings at PONT-A-MOUSSON MEETING Thursday 25th and Friday 26th June 2009
The Imaginary The ideal and The Infinite in Mathematics :
Thursday, June 25th
Session I
8h45-10h00 Felix MUHLOLZER Philosophisches Seminar, Georg-August Universität Göttingen.
Parsons on mathematical intuition and natural numbers
(missed opening of talk. Recorded last part plus discussions)
Click here for link to recording of F. MUHLHOLZER’s Talk : 40 mins 06 seconds :
10h05-11h20 Ivahn SMADJA, Département d’Histoire et de Philosophie des
Sciences, Université Paris-Diderot (Paris 7)
The discrete and the singular: Some Kroneckerian ideas about arithmetization
Click here for link to recording of Ivahn SMADJA’s Talk. Track 41 : 1 hr 07 mins 30 seconds
11h25-12h40 : James TAPPENDEN, Department of Philosophy, University of Michigan
Branching at branch points: Interpretations of “Riemann surface” as a fork in the road to contemporary mathematics
Click here for link to recording of Jamie TAPPENDEN’s Talk : Track 42 : 1 hr 23 mins 40 seconds
Session II
14h30-15h45 : Andrew ARANA, Department of Philosophy, Kansas State : Purity and the identity of problems
Click here for link to recording of Andrew ARANA’s Talk : Track 43 : 1 hr 9 mins 16 seconds
15h50-17h05 : Mathias SHIRN, Seminar für Philosophie, Logik und Wissenschaftstheorie, Universität München
Frege’s philosophy of geometry
Click here for link to recording of Mathias SCHIRN’s Talk : Track 44 : 1 hr 19 mins 38 seconds
17h10-18h25 Wilfrid HODGES, Herons Brook, Sticklepath, Okehampton, Devon EX20 2PY, England
The literal meanings of statements in mathematical textbooks
Click here for link to recording of Wilfrid HODGES Talk : Track 45 : 1 hr 12 mins 36 seconds
Day 2 of Conference : June 26th 2009
Session III
8h45-10h00 Paolo MANCOSU, Department of Philosophy, University of California at Berkeley
Measuring the size of infinite sets of integers: Was Cantor’s conception of infinite number inevitable?
Click here for link to recording of Paolo MANCOSU’s Talk : Track 46 : 1hr 24 mins 08 seconds
10h05-11h20 Karl-Georg NIEBERGALL, Institut für Philosophie, Humboldt Universität-Berlin
Assumptions of infinity in weak set theories and calculi of individuals
Click here for link to recording of Karl-Georg NIEBERGALL’s Talk : Track 47 : 1 hr 03 mins 33 seconds
11h25-12h40 Albert VISSER, Department of Theoretical Philosophy, Universiteit
Utrecht : Relativization and thinking modulo: How does it help us in theory reduction?
Click here for link to recording of Albert VISSER’s Talk : Track 48 : 1 hr 17 mins 02 seconds
Session IV
15h00-16h15 Michael POTTER, Faculty of Philosophy & Fitzwilliam College,
University of Cambridge : Classes as ideal elements and limitation of size
Click here for link to recording of Michael POTTER’s Talk : Track 49 : 55 mins 32 seconds
16h20-17h35 Michael (Mic) DETLEFSEN, Department of Philosophy, University of Notre
Dame & ANR, France : Freedom and creativity in mathematics
Click here for link to recording of Mic DETLEFSEN’s Talk : Track 50 : 1 hr 22 mins 28 seconds
The IP Fellows’ Seminar September 8, 2009 from 10h30 to 17h15, at the Ecole Normale Supérieure (45, rue d’Ulm, 75005, Paris), Immeuble Rataud, salle INFO1. Program is available here.
Talk 1 : Sean WALSH : The Role of Interpretability Results in the Justification of Axioms
Click here for link to recording of Sean WALSH’s Talk : Track 51 : 1 hour 16 minutes 10 seconds
Talk 2 : Andrew ARANA: The Geometric/Algebraic Distinction
Click here for link to Andrew ARANA’s Talk : Track 52 : 1 hour 25 minutes 10 seconds
Talk 3 : Walter DEAN : Informal Provability and Goedel’s Modal Interpretation of Intuitionism
Click here for link to recording of Walter DEAN’s Talk : Track 54 : 1 hour 6 minutes 14 seconds
—oOo—
October 19th 2009 :
Talk to Joint Ideals of Proof/REHSEIS Meeting by Prof. Harvey FRIEDMAN (Ohio State) : The Concept Calculus
Track 1 : Introduction by Andrew Arana
Click here for link to recording of Introductory Remarks
Track 2 : Talk on the Concept Calculus by Prof. Harvey FRIEDMAN (Ohio State) plus following Questions and Discussions
Click here for Link to Recording of Prof. Friedman’s Talk
and here for Link to recording of following Discussions
—oOo—
October 21st – 22nd 2009
The first Paris-Nancy PhilMath Workshop took place in Nancy October 21st-22nd 2009 co-organised by the Henri Poincare Archives, IHPST and REHSEIS and supported by the Ideals of Proof Project. Presentation and Program available here.
The speakers were as follows :
Paola Cantù: On Real and Ideal Elements in Mathematics
Harvey Friedman: Conceptus Calculus
Volker Halbach: Computational Structuralism
Annika Kanckos: Hilbert’s second problem: a possible and necessary consistency proof
proof
Michael Potter: More on Replacement
Davide Rizza: Discernibility by Symmetries
Stewart Shapiro: Structures and Logics: a Case for Relativism
Hourya Sinaceur: Objets mathématiques
Claudio Ternullo: Why did Cantor Believe in the Truth of the Continuum Hypothesis?
Sean Walsh: The Justification of Mathematical Induction
Due to a technical problem, only some Talks and parts of Talks on Day 2 October 22nd 2009 were recorded. These Talks can be heard by accessing the links below together with those overheads of speakers which are available
22nd October 2009 : 2 hours 59 minutes 16 seconds
Talk 1 : Volker HALBACH on Computational Structuralism
Click here for link to recording of Volker HALBACH’s Talk
Talk 2 : Annika KANCKOS: Hilbert’s Second Problem : A Possible and necessary consistency proof
Click here for link to recording of Annika KANCKOS’s Talk
Plus further Track : 20 minutes 49 seconds only
Part of Questions and Discussions Session following Talk by Michael POTTER : More on Replacement
Click here for this recording
Overheads and abstracts of the Talks and such other information as can be supplied by the speakers will be posted here in due course.
October 23rd – NOVEMBER 13th 2009
A Course of 4 Lectures by Prof. Mic DETLEFSEN, ANR Chair D’Excellence, Ideals of Proof Programme
At ENS Paris : Godel’s Theorems and Their Significance.
Click here for link to Announcement of Lectures, Short Abstract and other information
Lecture 1 October 23rd 2009 : Basics and Background : Salle de Conférences (46, rue d’Ulm) :
2 hours 15 minutes 17 seconds.
Click here for link to recording of Lecture 1 on Godel by Mic DELEFSEN
Lecture 2 : Friday 30th October 2009 : Salle de Conférences (46, rue d’Ulm) :
The Representation of Metamathematics : 1 hour 39 minutes 58 seconds
Theories of Representation and Metamathematics : Godel’s focal argument
Click here for link to recording of Lecture 2 on Godel by Mic DETLEFSEN
Lecture 3 : Friday 6 November 2009, Salle de Conférences (46, Rue d’Ulm):
Gödel’s Theorems and Hilbert’s Program : 1 hour 50 minutes 28 seconds
Click here for link to recording of Lecture 3 on Godel by Mic DETLEFSEN
Lecture 4 : November 13th 2009 : Salle INFO1 (45, Rue d’Ulm, Immeuble Rataud) :
Gödel’s Theorems and Mechanist Views of Mind : 1 hour 33 minutes 58 seconds
Click here for link to Lecture 4 on Godel by Mic DETLEFSEN
Monday 9th NOVEMBER 2009
The IP Fellows’ Seminar of November 9, 2009 from 09h00 to 17h15, at the Ecole Normale Supérieure, Salle Jules Ferry, 29 rue d’Ulm, 75005, Paris). Program is available here. All Talks
Talk 1 : Andrei Rodin: Renewing foundations plus following discussions
Click here for link to recording of Andrei RODIN’s Talk : 1 hour 15 minutes 13 seconds
Talk 2 : Henri Gallinon: The Ideal of Truth and Ideals of Proof
Click here for link to recording of Henri Gallinon’s Talk : 1 hour 13 minutes 11 seconds
Talk 3 : Davide Crippa: As simple as possible: Descartes´algebraic interpretation of Pappus´norm
Click here for link to recording of Davide CRIPPA’s Talk : 1 hour 5 minutes 40 seconds
Talk 4 : Richard Pettigrew: Prospects for a Foundation for Mathematics in Category Theory
Click here for link to Recording of Richard’s Talk.End of 2009 RECORDINGS
—oOo—