Seminar on Logic and Foundations of Symbolic Systems
When and where
04/03/2015 04/03/2015
Description
Seminar on Logic and Foundations of Symbolic Systems
May 6, 2014
From 13:00 to 14:30, Room 4
"Proofs in Mathematical Reasoning"
____________________________________________________________________________________________________
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.
Seminar Requirements: knowledge of the main propositional non-classical logics and first order predicate logic, as well as classical foundations of mathematics.
People interested in taking part, please send a message to Enetz Ezenarro (enetz.ezenarro@ehu.es) and ask for the three papers if you need them. The first and the third papers can be found in the book:
Tymoczko, T. (ed.) (1986), New Directions in the Philosophy of Mathematics. Princeton University Press.
and the second paper in the book:
Weyl, H. (2012), Levels of Infinity: Selected writings in Mathematics and Philosophy. Edited by Peter Pesic. Dover.
More information
<p> </p> <p> <strong>Seminar on Logic and Foundations of Symbolic Systems</strong></p> <p> May 6, 2014<br /> <br /> From 13:00 to 14:30, Room 4</p> <p> "Proofs in Mathematical Reasoning"</p> <p> <br /> ____________________________________________________________________________________________________</p> <p> <br /> 13:00-13:30 Discussion of the following paper: I. Lakatos (1979), What Does a Mathematical Proof Prove?</p> <p> 13:30-14:00 Discussion of the following paper: H. Weyl (1953), Axiomatic Versus Constructive Procedures in Mathematics.</p> <p> 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.</p> <p> Seminar Requirements: knowledge of the main propositional non-classical logics and first order predicate logic, as well as classical foundations of mathematics.<br /> People interested in taking part, please send a message to Enetz Ezenarro (<a href="mailto:enetz.ezenarro@ehu.es" target="_blank">enetz.ezenarro@ehu.es</a>) and ask for the three papers if you need them. The first and the third papers can be found in the book:<br /> Tymoczko, T. (ed.) (1986), New Directions in the Philosophy of Mathematics. Princeton University Press.<br /> and the second paper in the book:<br /> Weyl, H. (2012), Levels of Infinity: Selected writings in Mathematics and Philosophy. Edited by Peter Pesic. Dover.</p>