 |  |  |  |  |
| | |
|||||||
| MATH0017-1 | Mathematical Logic and Set Theory | ||||||||
| |||||||||
| Duration : | 30h Th, 10h Pr | ||||||||
| |||||||||
| Credits/ECTS : |
| ||||||||
| |||||||||
| Holder(s) : | Georges Hansoul | ||||||||
| |||||||||
| |||||||||
| Course contents : | This course is an introduction to the study of formal systems. One begins with propositional logic, modal logic and first-order logic up to Gödel's completeness theorems. We continue with a presentation of set theory with classes in which Russell paradox does not appear. The developed topics are : well-founded sets and Von Neuman recursion theorem, ordinals and ordinal arithmetic, cardinals - with and without the axiom of choice. | ||||||||
| |||||||||
| Course objective : | They are twofold : first to develop technical tools to investigate foundations of mathematics but also to get an insight on mathematicians as human beings. | ||||||||
| |||||||||
| Prerequisites : | None. | ||||||||
| |||||||||
| Organization : | One semester course, each two years at the Institute of Mathematics. | ||||||||
| |||||||||
| Written notes : | There is a syllabus. Another interesting source book is : Basic Set Theory of Levy (Springer-Verlag). | ||||||||
| |||||||||
| Assessment : | To both sessions : oral examination with one or two questions on theory (out of a given list of questions) and one or two exercices. | ||||||||
| |||||||||
| Contacts : | HANSOUL Georges, Institute of Mathematics - B37, Office 059 Grande Traverse, 12 - 4000 Liege (Sart Tilman) Phone : 04/366.94.69 - Fax : 04/366.96.47 E-mail : G.Hansoul@ulg.ac.be TEHEUX Bruno - Phone : 04/366.96.36 E-mail : B.Teheux@ulg.ac.be | ||||||||
| |||||||||
ULg : Students and Studies Administration - Academic Affairs
Contact : Monique Marcourt, direction A.E.E.
Date of data : 27/02/2006
Developed by SEGI