"La traduction faite par [Alan] Turing du théorème de Gödel est que tout algorithme conçu pour résoudre une question suffisamment générale est condamné soit à faire des erreurs, soit à ne jamais s'arrêter." « Le Pouvoir des mathématiques : Pourquoi elles sont toujours indispensables » (Novembre 2009), La Recherche, Jean-Yves Girard
Créé le 31/08/17 à 23:34 par
Luthien