Programme des cours 2015-2016
| 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 | ||||||||
|
Unités d'enseignement prérequises et corequises :
|
||||||||
| Les unités prérequises ou corequises sont présentées au sein de chaque programme | ||||||||
|
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. | ||||||||
|
Savoirs et compétences prérequis :
|
||||||||
| 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 |
||||||||