Je pense que l’intuition est importante pour le mathématicien et donc pour la création de théories mathématique et la démonstration des théorèmes ou résolution des problèmes ;il me semble que Isga confond l’esprit mathématicien qui cherche à démontrer et l’écrit formel mathématique qui résulte de la recherche de démonstration mathématique .Biensûr que dans le résultat écrit en un texte démonstratif formel il ne reste plus que de la logique et plus trace d’intuition écrite, ,mais avant d’arriver à établir ce texte démonstratif formel il faut beaucoup d’intuition et d’imagination au mathématicien pour arriver à ce résultat,car avnt d’orienter vers une démonstration précise d’une proposition ou théorème mathématique il faut avoir l’idée de stratégie qui oriente l’esprit du mathématicien vers telle ou tele l utilisation de connaissancemathématique qu’il a en bagage ,autrement dit ,il ne suffit pas d’avoir un stock de théorèmes mathématiques en mémoire ,faut encore l’utiliser de manière adéquate au problème posé ,et là c’est l’intuition qui est en jeu.Quelqu’un qui ne possède pas d e bonnes intuitions et d’imagination créatives d’un bon mathématicien ,eût-il un grand stock de théorèmes en mémoire qu’il aurait appris par coeur sans trop les comprendre , il ne pourrait pas les utiliser pour résoudre les problèmes.

donc en résumé m^me si le texte démonstratif formel n’est qu’un enchainement logique de propositions néanmoins pour arriver à établir ce texte démonstratif ou démonstration le mathématicien doit utilser son intuition et son imagination en plus de son esprit logique ;

d’autre part il est vrai aussi qu’une grand e connaissance s de téhorèmes et de méthodes d e recherche mathématiques en mémoire aide l’intuition du mathématicien à se déployer de manière fructueuse et adéquate

et JL a raison d e rappeler que l’ordinateur n’a pas d’intuition et que seul l’être humain possède l’intuition comme le montre le s joueurs d’échecs ;mais la machine a l’avantage sur l’homme qu’il peut calculer un très nombre d efois et très vite beaucoup plus qu’il ne le peut et même dans des cas impossibles pour l’homme ,mais l’homme a l’avantage sur la machine en ce sens que c’est l’homme qui construit la machine grâce à son intuition