Seminar on Logic and Foundations of Symbolic Systems
When and where
02/06/2015 02/06/2015
Description
Seminar on Logic and Foundations of Symbolic SystemsFebruary 18, 2014
From 13:00 to 15:00, Room A3
"Infinite Numbers in the Cantorian Paradise
_________________________________________________
13:00-13:30 Infinite Cardinals. J. M. Larrazabal (ILCLI).
13:30-14:00 Infinite Ordinals. E. Ezenarro (ILCLI).
14:00-15:00 Discussion of the following text: D. Hilbert, On the Infinite.
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)
More information
Seminar on Logic and Foundations of Symbolic Systems<br /> February 18, 2014<br /> From 13:00 to 15:00, Room A3<br /> "Infinite Numbers in the Cantorian Paradise<br /> _________________________________________________<br /> <br /> 13:00-13:30 Infinite Cardinals. J. M. Larrazabal (ILCLI).<br /> <br /> 13:30-14:00 Infinite Ordinals. E. Ezenarro (ILCLI).<br /> <br /> 14:00-15:00 Discussion of the following text: D. Hilbert, On the Infinite.<br /> <br /> <br /> Seminar Requirements: knowledge of the main propositional non-classical logics and first order predicate logic, as well as classical foundations of mathematics.<br /> <br /> People interested in taking part, please send a message to Enetz Ezenarro (enetz.ezenarro@ehu.es)