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