On n'est pas séduit quand on est forcé d'accepter une vérité mathématique via une chaîne compliquée de conclusions formelles et de calculs, qu'il faut traverser à l'aveugle, lien par lien, suivant notre chemin quasiment en le touchant. Nous voulons d'abord un aperçu du but et de la route. Nous voulons comprendre l'idée de la preuve, le contexte plus profond.
Auteur:
Info:
Commentaires: 0