info454 - Histoire et épistémologie du calcul et de l'informatique
-
Credits
- 5
- Prerequisites
- (Licence mention informatique)
- Parcours
- optional for the computer science mention of the master of
science
-
Objectives
-
Présenter les moments importants de l'histoire de
l'informatique.
- Montrer que le développement de l'informatique produit des
outils ayant un contenu philosophique intéressant (théorie de la
complexité par exemple) et pose des problèmes délicats
(l'intelligence artificielle par exemple).
- Organization
- Deux séances de 2h de cours/TD par semaine sur 13 semaines.
- Student personal work
- about 50h
- Evaluation
-
-
for UE without Labs :
sup ( Ex, (2Ex + CC)/3)
- for UE with Labs :
(2TP + 3 sup(Ex, (2Ex + CC)/3))/5
- Contents
-
Histoire du calcul et de l'informatique
-
Instruments de calcul anciens.
- De Pascal à Babbage.
- La mécanographie.
- La naissance du calcul électronique, l'Eniac, Turing et
Enigma...
- Problèmes philosophiques liés à l'IA, aux théories du
calcul, de l'information et de la complexité
Thèmes possibles parmi d'autres.
Discussions autour de l'intelligence artificielle, le test de
Turing, les sciences cognitives et le computationnalisme.
L'objection de Lucas. Penrose.
Effectivité et praticabilité. Thèse de Church (diverses
versions). Classes de complexité, notion de faisabilité.
Modèles de calcul classique et quantique. Franchissement de la
barrière de Turing. Rapports avec la physique.
La théorie du calcul et la logique (le concept de système
formel, l'opposition vrai/démontrable, l'indécidabilité et son
interpréation, la notion de modèle, etc.)
Réflexion sur la notion de démonstration automatique : une
démonstration faite par ordinateur et trop complexe pour être
vérifiée par l'homme est-elle valide ?
La théorie algorithmique de l'information et son utilisation en
épistémologie (le principe du rasoir d'Occam), en physique
(entropie, calculs réversibles, etc.), en philosophie des
mathématiques (les nombres oméga de Chaitin).
La notion de hasard en informatique (les générateurs
pseudo-aléatoires, les générateurs pour la cryptographie, les
suites aléatoires au sens de Martin-Löf).
- Instructor(s)
- Jean-Paul Delahaye
fichier source pour édition/modification