DesparaJeTaime
2021-09-03 14:44:10
On pourrait opposer à Poincarré aujourd'hui (donc en le téléportant à notre époque) qu'il existe des ordinateurs faisant des démonstrations de mathématiques. Récemment, on a pu ainsi prouver une propriété avec une preuve de 200 teraoctets.
Y a-t-il de la créativité dans ce processus ? Sachant qu'une partie de la preuve consistait à énumérer les possibilités systématiquement.
Si j'énumère toutes les suites de lettres possibles, suis-je créatif parce qu'un jour je finis, de fait, par écrire une pièce de shakespear ?