Ideals of Proof 2010 Recordings
2010 RECORDINGS of Ideals of Proof Events and closely related events
January 25 th 2010
7th 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 :
—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) Schedule is available here.
March 8th 2010
Talk 1 : Herbert Breger: The substructure of Leibniz’s metaphysics
Click here for link to recording of this Talk
For accompanying Overheads
Tak 2 : Michel Serfati: Mathematics, metaphysics and symbolism in Leibniz: the principle of continuity
Click here for link to recording of this Talk
For accompanying Overheads
Talk 3 : Vincenzo De Risi: Leibniz’s studies on the Parallel Postulate
Click here for link to recording of this Talk
For accompanying Overheads
9th March 2010
Talk 1 : Philip Beeley: In deliberationibus ad vitam pertinentibus. Method and Certainty in Leibniz’s Mathematical Practice
Talk 2 : Richard Arthur: Leibniz’s Actual Infinite in Relation to his Analysis of Matter
Click here for link to recording of this Talk
For accompanying Overheads
Talk 3 : Samuel Levey: Leibniz’s analysis of Galileo’s paradox
Click here for link to recording of this Talk
For accompanying Overheads
10th March 2010
Talk 1 : Emily Grosholz: The Representation of Time in Galileo, Newton and Leibniz
Click here for link to recording of this Talk
For accompanying Overheads
Talk 2 : Eberhard Knobloch: Analyticité, équipollence et la théorie des courbes chez Leibniz
Click here for link to recording of this Talk
For accompanying Overheads
—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.
Click here for link to recording of this talk
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 |