Langages mathématiques et informatiques

• Les articles de Wikipedia suivants sont un point de départ :
  • Langage mathématique ;
  • Langage de programmation,
  • Loi de Zipf ;
  • L’Essayeur ;
• Alexander Bogomolny : “Mathematics as a Language from Interactive Mathematics Miscellany and Puzzles” (consulté le 30/1/2017) ;
• Laurent Lafforgue : « Les mathématiques sont-elles une langue ? » (voir aussi ici) ;
• Luc Illusie : Alexandre Grothendieck a changé le langage des mathématiques (Sciences et Avenir) ;
• Isabelle Bellin : Maurice Nivat : une vision à long terme de la recherche en informatique (Interstices) ;
• Jean-Paul Delahaye : Preuves sans mots (Accromath) ;
• Christine Chambris : Quelques réflexions sur l’enseignement des grandeurs, des relations entre grandeurs et nombres, voire des nombres à l’école primaire.

Quelques articles du site Images des mathématiques

• Sixième concours Bulles au carré : Mathématiques et langages ;
• Aurélien Alvarez : Un roman dont l’héroïne est une formule ;
• Michèle Audin : X parle à Y de Z ;
• Michèle Audin et Valérie Beaudouin : Je demeurerai longtemps errant dans Césarée ;
• Jean Brette : Promenade mathématique en Mésopotamie ;
• Étienne Ghys : Égalité ;
• Marie Lhuissier, d’après Anne-Laure Fougères : Lire les statistiques, cela s’apprend ;
• Patrick Popescu-Pampu : Variétés ;
• Laurence Serfaty : Le charme discret des mathématiques.

Des liens pour des références à $\rm\TeX$ ou $\rm\LaTeX$

• Wikilivre $\rm\LaTeX$ ;
• Site du rectorat de Lyon : Écrire des mathématiques avec $\rm\LaTeX$ ;
• Loïc Terrier et Isabelle Marques : Introduction à $\rm\LaTeX$ pour les prof. de math. (diaporama, 2012) ;
• Arnaud Gazagnes : $\rm\LaTeX$ pour prof. de math. (IREM de Lyon) ;
• Framalivre : Tout sur $\rm\LaTeX$ ;
• Christophe Poulain : $\rm\LaTeX$, un exemple de logiciel libre ;
• Yannis Breney et Éric Depardieu : Une utilisation de $\rm\LaTeX$ au lycée (recension Publimath) ;
• Jean-François Nicaud, Christophe Viudez : Communiquer avec des formules mathématiques (« Epsilonwriter »).

Comment écrire un texte mathématique ?

• Matthieu Romagny : Quelques conseils d’écriture mathématique rédigés pour la préparation à l’agrégation externe de l’université Rennes 1 ;
• ce document cite celui de Michèle Audin, Conseils aux auteurs de textes mathématiques ;
• Peter Cameron : How to write mathematics ?

Comment composer un texte mathématique ?

• Inspection générale, groupe des mathématiques : Composition des textes scientifiques ; cet article cite :
  • La composition des mathématiques et de la physique, sur le portail du ministère ;
  • Jacques André : Petites leçons de typographie ;
  • Alexandre André : Règles françaises de typographie mathématique.

Des ressources

• Sur la page Eduscol du ministère :
  • Ressources d’accompagnement du programme de mathématiques (cycle 4, classes de 5^e, 4^e, 3^e) ;
  • Mathématiques et maîtrise de la langue ;
  • Utiliser le calcul littéral ;
  • Expérimentation et modélisation, la place du langage mathématique en physique-chimie ;
• Jean-Luc Bregeon : Les mathématiques et la maîtrise de la langue ;
• CASNAV de Grenoble (Centre académique pour la scolarisation des enfants allophones nouvellement arrivés et des enfants issus de familles itinérantes et de voyageurs) : Lexique des mathématiques (2010) : on peut y trouver un lexique de consignes multilingues en albanais, anglais, espagnol, portugais, roumain, russe, serbe, turc ;
• Jean-Claude Beacco, Mike Fleming, Francis Goullier, Eike Thürmann et Helmut Vollmer, avec des contributions de Joseph Sheils : Guide pour l’élaboration des curriculums et pour la formation des enseignants. Les dimensions linguistiques de toutes les matières scolaires.

Encore d’autres pistes, vers la littérature

• Oulipo (ouvroir de littérature potentielle) et les oulipiens (mathématiciens et littérateurs, littérateurs-mathématiciens, et mathématiciens-littérateurs) ;
• Alamo : Atelier de littérature assistée par la mathématique et les ordinateurs ;
• Oubapo (ouvroir de bande dessinée potentielle) ;
• Francesco Magris : Littérature et mathématiques : rencontres dans la fiction, L’Humanité, 3 mars 2007 ;
• Philippe Bootz : La littérature numérique ;
• David du blog Science étonnante : La machine à inventer des mots, version Ikea ;
• Fédération des recherches et développements en textométrie : Vers l’étude statistique des textes : la textométrie ;
• Guillermo Martínez : Borges y la matematica (en espagnol ; traduction partielle en anglais)

Des ouvrages

• Le Mot et la chose, Willard van Orman Quine, Flammarion, collection « Champs », 1977 ;
• Les mathématiques sont la poésie des sciences, Cédric Villani, éditions L’arbre de Diane, 2015 ;
• Lettres à Alan Turing, Jean-Marc Lévy-Leblond (sld) ;
• et bien sûr, la rubrique Mathématiques et littérature du site Images des mathématiques !

Cette liste n’est évidemment pas exhaustive !