 | | |
| Version 2011-2012 |
|
| PHIL0066-1 | Philosophie des mathématiques
|
|
| Durée : | 30h Th |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Georges Hansoul |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| Après quelques rappels généraux de logiques classiques, plusieurs thèmes peuvent être abordés selon les aspirations de l'auditoire : théorèmes d'incomplétude de Gödel, introduction à des logiques non-classiques, ... |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Entrer quelque peu dans l'aspect technique de certains problèmes philosophiques majeurs liés aux fondements des mathématiques. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Le cours MATH0017 de logique mathématique et théorie des ensembles, ou son équivalent. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| A fixer selon l'auditoire. |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| |
|
Modalités d'évaluation et critères :
|
| Examen oral. |
|
Stage(s) :
|
| |
|
Remarques organisationnelles :
|
| |
|
Contacts :
|
| HANSOUL Georges
Institut de Mathématique - Bât. B37
Bureau 059
Grande Traverse, 12 - 4000 Liège
(Sart Tilman)
Tél. : 04/366.94.69
Fax : 04/366.96.47
E-mail : G.Hansoul@ulg.ac.be
CAVUS Rukiye
Tél. : 04/366.94.04
E-mail: R.Cavus@ulg.ac.be |
|
