Kenneth Appel
@kennethAppel
Sans ordinateurs, nous serons coincés uniquement des théorèmes qui ont des preuves courtes.
Kenneth Appel
En savoir plus sur l'auteur
...plusCompte non officiel
3
@kennethAppel
Sans ordinateurs, nous serons coincés uniquement des théorèmes qui ont des preuves courtes.
@kennethAppel
L'ordinateur était, au mieux de mes sentiments à propos du sujet, sans penser comme un mathématicien, et c'était beaucoup plus réussi, car il ne pensait pas comme un mathématicien.
@kennethAppel
La probabilité d'erreur humaine est considérablement plus élevée que celle de l'erreur de la machine.