 | |
| MATH0017-1 | Mathematical Logic and Set Theory
 |
|
| Duration : | 30h Th, 10h Pr |
|
| Credits/ECTS : |
|
|
| Holder(s) : | Georges Hansoul |
|
| Language : | French language |
|
| 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. |
|
| Workshops : | The exercices lessons have a double objective : first illustrate the concepts and results of the theoretical part and second give a true intuition of mathematical logic. |
|
| Organization : | One semester course at the Institute of Mathematics. |
|
| Written notes : | There is a syllabus. Another interesting source book is : Basic Set Theory of Levy (Springer-Verlag). |
|
| Assessment : | In June two parts :
1) one written examination with exercices only,
2) one oral examination with theory and small 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 |
|
