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