La machine de Turing

UGS : 9490 Catégorie :

Description

Alan TURING et Jean-Yves GIRARD,  1999
Deux commentaires critiques du logicien Jean-Yves Girard replacent dans son contexte la pensée de Turing et montrent comment elle anticipe la révolution informatique de notre siècle.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Pouvez vous faire le petit calcul suivant ?