Portail des médiathèques du réseau Paris-Saclay

Si l'invention de l'ordinateur ne peut être attribuée à un personnage unique, Alan Turing est un de ceux qui ont aidé à définir ce que pourrait être un modèle mathématique simple pour tout processus de calcul. Cette machine de Turing, explicitée dans un article de 1936, est ici complétée par un autre article fondateur, Les ordinateurs et l'intelligence, où l'auteur met en questions ce qui deviendra l'intelligence artificielle.

Le théorème de Gödel a un statut mythique. Enoncé en 1931, il a bouleversé la question du fondement des mathématiques. Sa portée est d'ordre méthodologique et philosophique ; ses difficultés étant surestimées. Le présent ouvrage rassemble - outre la traduction de l'article de Gödel - une version vulgarisée par Nagel et Newman de la démonstration de Gödel, et un texte de Girard qui fait le point sur les problèmes d'interprétation du théorème.