l'intuition est l'audace intellectuelle qui nous permet de faire des expositions inédits 

En tant qu'êtres humains, nous sommes dotés d'une faculté extraordinaire : l'intuition. Cette "audace intellectuelle",  est un moteur puissant d'innovation, nous propulsant vers des horizons inexplorés de la connaissance. 

Loin d'être un phénomène mystique, l'intuition est le fruit d'un processus cognitif fulgurant. Notre cerveau, véritable maître de la synthèse, traite un flot incessant d'informations, d'expériences et d'émotions pour en extraire l'essence même, nous guidant vers des conclusions qui semblent émerger du néant. 

L’audace de l'intuition réside dans sa capacité à défier les normes établies. Elle nous invite à dépasser les frontières du connu, à embrasser l'inconnu et à explorer des territoires vierges de la pensée. Comme le souligne si bien Henri Poincaré dans La Science et l'Hypothèse, l'intuition est le "véritable moteur de la découverte scientifique". Elle est cette étincelle qui a permis à Einstein, par exemple, de révolutionner notre conception de l'univers avec sa théorie de la relativité.

L’art, lui aussi, est nourri par cette force intuitive. La muse qui inspire le poète, la vision qui guide le peintre, la mélodie qui émeut le compositeur, ne sont que les manifestations de cette intuition à l'œuvre. Elle est le terreau fertile d'où jaillissent les chefs-d’œuvre.

Il ne s'agit pas de renier la raison au profit de l'intuition, mais bien de les concilier dans une danse harmonieuse. L'une nourrit l'autre, dans un dialogue constant. L'intuition, telle une boussole, indique la direction, tandis que la raison, tel un architecte, bâtit les fondations solides de la connaissance.

À l'ère du tout-quantifiable, il est crucial de ne pas négliger le pouvoir de l'intuition. Les données, bien qu'essentielles, ne peuvent à elles seules saisir la complexité du monde. Comme le rappelle si justement Gustave Le Bon dans "La Psychologie des Foules", "L'intuition est souvent supérieure à la raison. Elle fait deviner à des femmes raisonnant mal des choses incomprises d'hommes raisonnant très bien"

Cultivons donc cette audace intellectuelle, laissons-nous guider par nos intuitions. Osons explorer les chemins de traverse, embrasser l'inattendu et laisser libre cours à notre esprit créatif. Car c'est dans ces moments d'illumination intuitive que naissent les idées révolutionnaires qui façonnent le monde de demain.

REFERENCES 

• La Science et l'Hypothèse" - Henri Poincaré 

Cet ouvrage explore le rôle de l'intuition dans le processus scientifique et comment elle guide les découvertes.

• La Valeur de la Science" - Henri Poincaré

Poincaré y discute de l'importance de l'intuition et de l'esthétique dans la recherche scientifique.

• Triangle de pensées Broché – 26 janvier 2000

  de Alain Connes , André Lichnerowicz , Marcel Paul Schützenberger 

• "Thinking, Fast and Slow" - Daniel Kahneman (en anglais)

Au-delà des Chiffres L’Art de l’Enseignement des Mathématiques

L'enseignement est une vocation qui exige non seulement une expertise dans sa matière, mais aussi un engagement profond envers ceux qui sont désireux d'apprendre. En tant que professeur de mathématiques, je souscris à la vision énoncée par la citation : "Un mauvais prof de maths, c’est un prof qui aime les maths. Un bon prof de maths, c’est un prof qui aime les élèves." Cela ne signifie pas que l'amour des mathématiques soit superflu, mais plutôt qu'il doit être équilibré par un dévouement à la pédagogie et à la réussite de chaque élève. Voici mes perspectives et pratiques qui, je crois, constituent l'essence d'un enseignement efficace et inspirant.

Établir des Relations : La réussite en mathématiques commence par la construction de relations de confiance avec les élèves. En tant qu'enseignant, je m'efforce de connaître chacun de mes élèves personnellement - leurs intérêts, leurs forces, leurs défis - pour adapter mon enseignement à leurs besoins individuels.

Favoriser l'Inclusion et la Diversité : Dans ma classe, tout le monde mérite d'être entendu. Je m'efforce de créer un espace où les élèves de tous les horizons et de toutes les capacités se sentent valorisés et sont encouragés à participer activement.

Cultiver l'Intérêt et la Curiosité : Les mathématiques sont partout autour de nous. En connectant les concepts mathématiques au monde réel, je rends la matière pertinente et stimulante. Mon objectif est de révéler la beauté et l'utilité des mathématiques, pour que les élèves découvrent la satisfaction de résoudre des problèmes complexes.

Stratégies d'Enseignement Innovantes : Je suis constamment à la recherche de méthodes d'enseignement innovantes. Qu'il s'agisse d'outils numériques ou de techniques de raisonnement visuel, je m'assure que ma boîte à outils pédagogique est aussi diversifiée que mes élèves.

Évaluation Comme Outil d'Apprentissage : Les évaluations ne sont pas seulement un moyen de mesurer la performance; elles sont un outil d'apprentissage indispensable. À travers des feedbacks constructifs, je guide mes élèves vers une compréhension plus profonde et les aide à reconnaître et à célébrer leurs progrès.

Développement Professionnel Continu : L'apprentissage est un voyage sans fin. Je suis engagé dans un développement professionnel continu pour rester à la pointe de la recherche en éducation mathématique et des meilleures pratiques.

Résilience et Adaptabilité : Les défis sont inévitables, que ce soit des concepts difficiles à enseigner ou des élèves en difficulté. La résilience est la clé. J'adapte mes leçons, je recherche des solutions et je soutiens mes élèves à travers les hauts et les bas de leur parcours mathématique.

un bon prof de maths est quelqu'un qui fait plus qu'enseigner des mathématiques; il inspire, il équipe et il soutient ses élèves pour qu'ils deviennent des apprenants autonomes et confiants, capables de naviguer dans le monde avec une pensée critique et analytique. L'amour des mathématiques et l'amour des élèves ne sont pas mutuellement exclusifs; au contraire, ils se renforcent mutuellement dans la quête d'un enseignement véritablement transformatif.

" apprentissage par coeur est une négation de la discipline. Elle doit être au contraire une appropriation des concepts qui rend la pensée autonome " 
Jean-Pierre Bourguignon

Qu'est ce qu'un mathématicien, (André Lichnerowicz)

L'intuitionnisme : où l'on construit une preuve

Le raisonnement par l'absurde n'est pas constructif ! La logique intuitionniste, au contraire, relie preuve construite et calcul.
par Alexandre 

À partir de la fin du XIXe siècle, le développement considérable des mathématiques conduit de nombreux chercheurs de cette discipline à s'interroger sur la nature du raisonnement mathématique. L'introduction de nouveaux objets toujours plus complexes et l'utilisation de méthodes de raisonnement toujours plus abstraites (comme l'axiome du choix, dont l'introduction par Ernst Zermelo fut suivie de débats houleux) nécessite bien plus qu'une simple remise à plat des principes mathématiques.
Il ne suffit pas de spécifier les axiomes que l'on se donne et les règles de raisonnement que l'on s'autorise, encore faut-il savoir pourquoi on considère tel ou tel axiome, et pourquoi on raisonne de telle ou telle manière.
Dans ce contexte, le jeune mathématicien hollandais Luitzen Brouwer bâtit à partir de 1907 une critique philosophique originale du raisonnement mathématique classique, auquel il reproche ses méthodes non constructives (on démontre qu'un être mathématique existe, mais on n'en construit pas d'exemple). En remplacement, il propose une méthode de raisonnement centrée sur la notion de « construction intuitive », qu'il dénomme finalement « intuitionnisme ».
De cette démarche, la plupart des contemporains de Brouwer – et encore aujourd'hui la majorité des mathématiciens – ont retenu qu'elle consistait à rejeter des principes logiques élémentaires, tels que le principe du tiers exclu (« ou A ou non-A ») et, ce qui revient au même, le raisonnement par l'absurde. Pourtant, loin d'amputer les mathématiques, l'intuitionnisme donne au contraire un caractère plus tangible aux objets mathématiques et renforce la notion de preuve.
Exclu, le tiers exclu !
Pour saisir la démarche de Brouwer, examinons pourquoi la logique classique n'est pas constructive : du point de vue de la prouvabilité, le comportement des connecteurs logiques tels que la conjonction « et », notée ∧, et la disjonction « ou », notée ~, est révélateur.
Traitons d'abord la conjonction. À partir d'une preuve d'une proposition A et d'une preuve d'une autre proposition B, il est possible, par simple assemblage, de constituer une preuve de la proposition A ∧ B (A et B sont vraies) : c'est la signification même de la conjonction. Réciproquement, à partir de toute preuve de la proposition A ∧ B, on peut déduire une preuve de A (puisque A est une conséquence logique de A ∧ B), ainsi qu'une preuve de B (par le raisonnement symétrique). En d'autres termes, la proposition A ∧ B est prouvable si et seulement si A est prouvable et B est prouvable.
Cette propriété est loin d'être anecdotique : elle exprime que les règles de démonstration qui régissent le comportement du connecteur ∧ se conforment à l'utilisation qu'on souhaite en faire. Il semble qu'une logique qui ne vérifierait pas cette propriété serait bonne à jeter.
Passons à la disjonction. À partir d'une preuve de la proposition A, on démontre la proposition A ~ B (A ou B est vraie), puisque A ~ B est une conséquence logique de A. De même on démontre la proposition A ~ B à partir d'une preuve de la proposition B. Le simple fait de disposer ou bien d'une preuve de A ou bien d'une preuve de B suffit à construire une preuve de A ~ B.
Qu'en est-il de la réciproque ? Est-il possible, à partir d'une preuve de la proposition A ~ B, de retrouver ou bien une preuve de A, ou bien une preuve de B ?
Étonnamment la réciproque est fausse en logique classique. Le principe du tiers exclu permet en effet de prouver certaines propositions de la forme A ~ B sans pour autant prouver ni A ni B. Pour nous en convaincre, examinons une proposition A qui est indécidable dans le formalisme, c'est-à-dire telle que ni A ni sa négation ¬A ne sont prouvables dans le système considéré (le théorème de Gödel permet de construire une telle proposition dans n'importe quelle théorie contenant l'arithmétique). Bien qu'aucune des deux propositions A et ¬A ne soit prouvable, leur disjonction A ~ ¬A est néanmoins prouvable… d'après le principe du tiers exclu ! L'encadré A fournit un exemple d'une telle preuve.
Le même problème surgit avec la quantification existentielle, notée ∃. Considérons une proposition de la forme « Il existe un objet x qui possède la propriété A », ce que l'on écrit en logique formelle ∃x A(x). S'il existe un terme t, dit « témoin », pour lequel la proposition A(t) est prouvable, alors on détient une preuve de la proposition ∃x A(x).
Réciproquement, on serait en droit d'attendre que pour chaque proposition prouvable de la forme ∃x A(x), il soit possible de trouver un terme t pour lequel la proposition A(t) est prouvable. Hélas il n'en est rien, car le tiers exclu permet de construire des formules A(x) pour lesquelles la proposition ∃x A(x) est prouvable, sans pour autant qu'il soit possible d'exhiber un objet t pour lequel la proposition A(t) est prouvable : l'encadré B en donne un exemple.
Ce comportement surprenant, en logique classique, de la disjonction et de la quantification existentielle incite les mathématiciens intuitionnistes à rejeter le tiers exclu. Pour les intuitionnistes, non seulement les objets mathématiques doivent conserver un caractère concret, mais aussi et surtout toute preuve de A ~ B doit contenir, au moins implicitement, une preuve de A ou une preuve de B, de même que toute preuve de ∃x A(x) doit contenir, au moins implicitement, un témoin t de cette existence accompagné d'une preuve de la proposition A(t).
Avec une telle exigence sur le contenu des preuves, l'intuitionnisme est loin...
Pour la science

Alain Connes - Espace-temps, nombres premiers, deux défis pour la géométrie