 |  |
| PHIL0066-1 | Philosophie des mathématiques
 |
 |
| Durée : | 30h Th |
 |
| Crédits/ECTS : |
|
 |
| Titulaire(s) : | Georges Hansoul |
 |
| Langue : | Langue française |
 |
| 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
|
 |

|
|  |