Programme des cours 2016-2017
| PHIL0066-1 | |||||
| Philosophie des mathématiques | |||||
|
Durée :
|
|||||
| 30h Th | |||||
|
Nombre de crédits :
|
|||||
|
|||||
|
Nom du professeur :
|
|||||
| Georges Hansoul | |||||
|
Langue(s) de l'unité d'enseignement :
|
|||||
| Langue française | |||||
|
Organisation et évaluation :
|
|||||
| Enseignement durant l'année complète | |||||
|
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 de l'unité d'enseignement :
|
|||||
| 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) de l'unité d'enseignement :
|
|||||
| 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.95.47 E-mail : G.Hansoul@ulg.ac.be Julien RASKIN Tél. : 04/366.94.32 E-mail : J.Raskin@ulg.ac.be Laurent DE RUDDER Tél. : 04/366.94.06 E-mail : L.DeRudder@ulg.ac.be |
|||||