Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005, c’est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique. La difficulté était cependant incomparable car, si le théorème des quatre couleurs n’utilise que des mathématiques combinatoires élémentaires, le théorème de Feit et Thompson s’appuie sur des mathématiques embrassant, grosso modo, le programme jusqu’à la licence ! Il est également plus long, avec ses 250 pages de démonstration, et les enjeux autrement importants, avec des applications dans de nombreux domaines scientifiques modernes, de la mécanique quantique à la cryptographie, en passant par la cristallographie.

La suite de l'article ICI et les témoignages des membres de l'équipe ICI .

Il est pratique de pouvoir embarquer une courbe sur un support numérique. Desmos édite un code pointant sur une image cliquable nous orientant vers le fichier d'origine.
Cliquer sur l'image suivante puis sur Share pour retrouver le code permettant d'obtenir ce résultat. 

Le sens de la publication que j'ai faite sur Mathematice allait dans ce sens. Les TICE ne peuvent pas se réduire à l'utilisation de logiciels en classe mais représentent une catégorie beaucoup plus vaste dans laquelle la communication en est le coeur. 

La communication dont il est question ici est celle qui émerge de la nouvelle forme prise par les applications disponibles en ligne (réseaux sociaux, applications web2, fora, chat, sites de dépots et de partage,...) mais aussi de la numérisation des supports de communication permettant d'embarquer des "objets numériques" que seul le papier ne permet pas.

Il est clair que de ces deux phénomènes additionnés vont vite faire émerger l'insuffisance de la communication écrite et orale, thème que je tente d'aborder sur ce blog, via l'utilisation des technologies numériques dans l'enseignement,  depuis 7 ans maintenant.

L'enquête PROFETIC (synthèse) menée auprès de 6000 professeurs confirme ce point de vue à travers de ce qui pour l'instant est caractérisé "d'utilisations marginales" mais qui relèveront dans un avenir plus ou moins proche, d'usages "normaux".

La communication apparait dans 5 propositions suivantes sur 8. Même si moins d'un enseignant sur 4 utilise les TICE pour évaluer, communiquer et donner des devoirs, la pratique tend à se répandre! CQFD.

J'ai l'impression que dans le monde de l'éducation francophone, très peu d'enseignants connaissent Edmodo, un outil pourtant formidable que j'utilise pleinement.

Un excellent tutoriel a été réalisé par Laurence Bernard, de l'Académie de Martinique, dans le cadre des langues vivantes.

Laurence a de plus rédigé un article, faisant la synthèse d'une année d'utilisation, tout à fait positive.

Pour ma part je l'utilise depuis la rentrée 2009 et cette année tous mes élèves sont inscrits. On peut même y écrire des maths car Edmodo reconnait le Latex. Vous pouvez voir tous les articles que j'ai publiés sur le sujet pour vous convaincre de la puissance de cet outil. Il est possible consulter ICI la page de certains commentaires que j'ai rendus publics. 

Je suis surpris du peu de publication (pour ne  pas dire de l'absence) de publications francophones sur le sujet!

Il est à noter depuis la publication du tutoriel de Laurence que de nouvelles fonctionnalités ont été implémentées dans l'application (qui est disponible sur Smartphone d'ailleurs!).

Les principales nouveautés de cette version récente que j'utilise sont les suivantes:

L'activité des élèves en direct:

L'activité de chaque élève sur le réseau:

La possibilité de créer des sous-groupes:

L'exemple est un peu narcissique mais je pense qu'il devrait y avoir pas mal d'applications pédagogiques de Thinglink tellement le concept est simple et l'utilisation facile...

Pétri de remords, j'ai réalisé un exemple un peu plus mathématique. L'image de base a été réalisée avec GeoGebra.

La trisection du carré