Spaker: Enetz Ezenarro

13:00-13:30 Discussion of the following paper: I. Lakatos (1979), What Does a Mathematical Proof Prove?

13:30-14:00 Discussion of the following paper: H. Weyl (1953), Axiomatic Versus Constructive Procedures in Mathematics.

14:00-14:30 Discussion of the following paper: R. de Millo, R. Lipton and A. Perlis (1979), Social Processes and Proofs of Theorems and Programs.