info454 - Histoire et épistémologie du calcul et de l'informatique

Nombre de crédits

5

Pré-requis

(Licence mention informatique)

Parcours

• optionnelle pour la mention informatique du master science

Objectifs

• 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).

Organisation

Deux séances de 2h de cours/TD par semaine sur 13 semaines.

Volume de travail personnel étudiant estimé

environ 50h

Contrôle et validation des connaissances

• pour les UE sans TP : sup ( Ex, (2Ex + CC)/3)
• pour les UE avec TP obligatoires : (2TP + 3 sup(Ex, (2Ex + CC)/3))/5

Description du contenu

• 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).

Responsable(s)

Jean-Paul Delahaye

fichier source pour édition/modification