 |  |  |  |  |
| | |
|
| PHIL0066-1 | Philosophie des mathématiques
[ english version ]
| ||
| |||
| Durée : | 30h Th | ||
| |||
| Crédits/ECTS : |
| ||
| |||
| Titulaire(s) : | Georges Hansoul | ||
| |||
| |||
| Aperçu général : | 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, ... | ||
| |||
| Objectif du cours : | Entrer quelque peu dans l'aspect technique de certains problèmes philosophiques majeurs liés aux fondements des mathématiques. | ||
| |||
| Pré-requis : | Le cours MATH0017 de logique mathématique et théorie des ensembles, ou son équivalent. | ||
| |||
| Organisation : | A fixer selon l'auditoire. | ||
| |||
| Evaluation : | Examen oral. | ||
| |||
| 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 TEHEUX Bruno - Tél. : 04/366.96.36 E-mail: B.Teheux@ulg.ac.be | ||
| |||
ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 18/05/2007
Réalisation SEGI