Des nouvelles du Frido

62
25
sept.
2022
Éducation

Le Frido est un livre libre de mathématique destiné aux plus motivés de l’agrégation et au-delà. Un seul bloc de 2600 pages allant de la construction des naturels jusqu’au bout : analyse, algèbre, probabilité, statistiques, etc.

Sommaire

Originalité

Le Frido fait de la mathématique « tout en un ». Il ne s’agit pas plus d’un livre d’algèbre que de topologie, d’analyse ou de statistiques. En principe, il contient à peu près tout ce qui est vu en licence, et une bonne partie des cours généraux au niveau du master.

Les résultats sont présentés dans le plus pur style « définition-lemme-lemme-lemme-théorème », et les démonstrations sont très détaillées.

Il y a pas très peu il ne devrait y avoir aucun d’abus de notations. Ça alourdit souvent le texte, mais au moins c’est correct.

L’erreur de l’année

Chaque année, un certain nombre d’erreurs sont détectées et corrigées. La « meilleure » faute du Frido 2021 est celle-ci (énoncé donné sans démonstration—heureusement!) :

Une fonction de N vers R (donc une suite) est intégrable pour la mesure de comptage si et seulement si la série est convergente.

Pour le jeune padawan qui sait ce qu’est une mesure de comptage et qui sait à peu près à quoi ça sert, cet énoncé a l’odeur de la vérité; on a envie d’y croire.

L’œil un peu plus averti sentira que ça pue pour une histoire d’ordre de sommation.

Version vendue

Le Frido est en perpétuelle évolution. Cependant, chaque année en septembre, je le prends tel qu’il est et en publie une version (en 4 volumes) à acheter chez thebookedition. Et ceci, parce que le règlement de l’agrégation, pour des raisons qui ne me sont pas tout à fait claires, estime que le principe d’équité entre les candidats implique que les ouvrages utilisés doivent être commercialisés. Donc voila ; il est commercialisé.

Vers la théorie quantique des champs

Le Frido contient, en français, la mathématique générale. Mais mon vrai but personnel est de faire de la théorie quantique des champs aussi loin que possible dans le style « définition-théorème ». Pour l’instant je n’en suis même pas à prouver la liste des représentations irréductibles du groupe de Lorentz.

Giulietta contient le Frido et une grosse extension avec un paquet de géométrie différentielle. J’en suis aux groupes et algèbres de Lie.

Changements depuis 2021

Frido

  • Un peu de géométrie dans le plan : droites, intersections, théorème de Thalès.
  • Topologie minimale rendant continue une famille d’applications
  • Toutes les normes sont équivalentes en dimension finie.
  • e est irrationnel
  • Inégalités de Clarkson
  • groupe symétrique : décomposition en cycles et en transpositions
  • Angles dans C. Les racines de l’unité forment un polygone régulier convexe.
  • Sous-groupes d’un groupe cyclique
  • Somme directe d’espaces vectoriels topologiques (et l’occasion pour moi de me taper la honte sur la page de discussion de Wikipédia)

Giulietta

  • Mesure de Haar (via Kakutani).
  • Les immersions sont des plongements locaux.
  • Exponentielle entre l’algèbre de Lie et le groupe de Lie.
  • Théorème de représentation de Riezs-Kakutani (lien entre mesure, intégrale et forme linéaire sur l’ensemble des fonctions continues)
  • Théorème de Frobénius
  • Fonction modulaire et représentations unitaires d’un groupe de Lie compact.

LaTeX

  • Passage de tous les fichiers au linter.
  • Ajout d’un script pour changer les expressions entre $...$ en \(...\) (par Alain Vigne).
  • Création d’un environnement « subproof » basé sur description, mais en mieux pour diviser les démonstrations en parties. Par John Kormylo
  • Arrêter d’utiliser bibtex, et utiliser un script perso. Les données sont dans un JSON.

Statistiquement neutre

Le Frido est un livre écrit « à l’ancienne » et contient donc des phrases comme « CETTE fonction (féminin) est UN exemple (masculin) de etc », sur le modèle de « madame le ministre », désormais désuet.

Par contre, pour m’adresser à la personne qui lit, j’ai écrit une macro LaTeX qui utilise le féminin ou le masculin de façon aléatoire. C’est la macro randomGender. Elle n’est pas cryptographiquement sûre, mais je crois qu’elle fait le boulot d’être équilibrée et imprévisible.

Si je veux m’assurer que mon(a) che(è)r(e) lecteur(ice) est sû(u)r(e) d’avoir bien compris, j’écris aléatoirement « cher lecteur, es-tu sûr d’avoir compris ? » ou « chère lectrice, es-tu sûre d’avoir compris ? ». Comme le Frido est long, la loi des grands nombres m’assure que, globalement, le féminin est autant représenté que le masculin.

Voici le code LaTeX:

\newcounter{rndgendercont}
\newcommand{\randomGender}[2]{%
   \setcounter{rndgendercont}{%
      \numexpr\value{page}+\value{numtho}\relax%}%

  \ifthenelse{\isodd{\value{rndgendercont}}}{#1}{#2}%
}

En réalité, ce qui est pris pour « aléatoire » est la parité de la somme du numéro du dernier théorème (\value{numtho}) et du numéro de la page (\value{page}).

Pourquoi ne pas utiliser un vrai nombre aléatoire ? Voyons l’exemple suivant.

\begin{remarque}
Ici, \randomGender{le lecteur attentif}{la lectrice attentive} 
aura remarqué l’utilisation de l’axiome du choix via le lemme de Zorn.

Le lemme de Zorn étant largement hors programme, à moins que 
tu sois \randomGender{sûr}{sure} de ton coup, 
n’en parle pas au jury.
\end{remarque}

Il est important que l’appel à randomGender retourne le même résultat dans les deux appels à l’intérieur de l’environnement.

Je trouve que c’est une manière mathématiquement élégante de neutraliser le texte dans sa globalité, à défaut de neutraliser chaque phrase séparément.

Défi de programmation et de LaTeX

Prendre en entrée sous forme de string un fichier toc et sortir sous forme de string le même fichier toc, mais modifié de telle sorte que les « é » soient classées avec les « e ».

De préférence en Python, mais comme je n’ai peur d’aucun subprocess.getoutput, allez-y en bash, en Perl ou en Rust si ça vous chante.

Aller plus loin

  • # contenu impressionant

    Posté par  . Évalué à 6. Dernière modification le 25 septembre 2022 à 17:24.

    Je retrouve nombre de sujets familiers dans le Giulietta et aussi pas mal de découvertes, merci de partager cet ouvrage. Wikipedia contient pas mal de choses en maths, mais il y manque le fil conducteur pour guider ceux qui souhaitent les étudier en profondeur.

    Si jamais vous souhaitez ajouter l'optimisation sous contrainte dans votre oeuvre, n'hésitez pas à vous inspirer des notes que j'avais prises il y a quelques années :

    optimisation - 4

    C'est un peu brouillon, mais l'essentiel y est.

    Sur ce, je repars explorer.

  • # Livre de maths et de Python niveau prépa

    Posté par  . Évalué à 10.

    Bonjour,

    Je me permets l'évocation du Frido pour faire la publicité de deux cours similaires que je viens de publier sous licence libre, avec les sources LaTeX. Ce n'est en aucun cas un concurrent du Frido puisqu'il s'adresse à des élèves venant de passer le bac. Il y a :

    • Un cours de maths de niveau première année de prépa, conforme au programme 2021 de MPSI et de MP2I
    • Un cours d'informatique de niveau première année de prépa conforme au programme du tronc commun 2021. Le langage de programmation utilisé est Python.

    Fichiers PDF :
    - Cours de maths de MPSI/MP2I : https://mailauxlazaristes-my.sharepoint.com/:b:/g/personal/francois_fayard_auxlazaristeslasalle_fr/EYr-OFSBz2VFq4dzA4hbP_sB1fD9YRvKiIy4TjvhGHwANg?e=5DbNQ2
    - Cours d’info commune de sup : https://mailauxlazaristes-my.sharepoint.com/:b:/g/personal/francois_fayard_auxlazaristeslasalle_fr/EfmdIY5Uz0xDv8Pr6uAW5EAB82zCRWSm-gzZjgh7ADqE3g?e=m7dDa6

    Les sources sont disponibles sur github : https://github.com/FayardProf/Magnolia.git

    Les images ne sont pas libres de droits et sont disponibles ici : https://mailauxlazaristes-my.sharepoint.com/:u:/g/personal/francois_fayard_auxlazaristeslasalle_fr/EY3fIqw_3tRPuGEBdYV9facBVxGNmrdjPuXzhiAImvzhMg?e=fv5vU2

    François Fayard

  • # Rapports d'erreurs?

    Posté par  . Évalué à 2.

    Tout d'abord, merci pour le Frido, cela doit représenter un investissement dingue en terme de temps.

    J'ai commencé à parcourir l'ouvrage et j'ai remarqué un certain nombre d'erreurs, pour la plupart assez minimes (typiquement une faute de frappe ou un «j» au lieu d'un «k» en indice).

    Quelle est la manière la plus pratique pour signaler ces différentes erreurs? Github, courriel, autre?

    Pour info, la liste de ces erreurs est actuellement sous la forme d'un bête PDF qui liste l'emplacement de l'erreur (j'utilise le système de références du livre, mais ça n'est pas idéal pour situer une faute de frappe) et le changement à effectuer. J'ai vérifié que les erreurs sont toujours présentes dans la version la plus récente du Frido. Et je suis un peu rouillé en maths, donc certaines pourraient n'être que le fruit de mon imagination.

    Merci.

    • [^] # Re: Rapports d'erreurs?

      Posté par  (site web personnel) . Évalué à 2.

      Quelle est la manière la plus pratique pour signaler ces différentes erreurs? Github, courriel, autre?

      Par mail privé c'est très bien.

      Pour situer la faute, parfois le plus pratique est de donner le label le plus proche (ex: DEFooVVWUooKIBQDv).
      Sinon une petite capture d'écran fait le taf.

      En tout cas c'est important de me donner assez de contexte pour pouvoir retrouver le passage avec un CTRL-F. Et effectivement, c'est pas toujours fiable de donner un numéro de page ou d'équation, parce qu'il y a assez souvent des choses qui bougent.

  • # Bravo

    Posté par  . Évalué à 9.

    Je ne connaissais pas.
    C'est absolument admirable, bravo !

    (je sais, ce commentaire n'a absolument aucun intérêt)

    • [^] # Re: Bravo

      Posté par  (Mastodon) . Évalué à 10.

      je sais, ce commentaire n'a absolument aucun intérêt

      Remercier explicitement l'auteur a toujours un intérêt !

      En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.

  • # dépot légal ?

    Posté par  . Évalué à 2.

    Je ne trouve pas l'auteur dans le catalogue de la BNF, si c'est possible sans engendre de cout important, est il possible de déposer l'édition annuelle en version électronique à la BNF ?

    • [^] # Re: dépot légal ?

      Posté par  (site web personnel, Mastodon) . Évalué à 3. Dernière modification le 29 septembre 2022 à 20:05.

      C'est gratuit, en revanche, l'ISBN est payant (obligatoire si on veut vendre en librairie). Mais il faut envoyer des exemplaires à la BnF, ce n'est donc pas un coût nul.

      Il faut voir si elle pourrait se contenter de la version électronique.

      Voir aussi la FAQ du dépôt légal qui indique qu'il n'y a pas de procédure de dépôt mais qu'on peut écrire pour demander à ce que le livre soit ajouté.

      « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

      • [^] # Re: dépot légal ?

        Posté par  (site web personnel) . Évalué à 5.

        L'isbn est gratuit.

        En ce qui concerne la vente en librairie, c'est subtil.
        Chez thebookedition, ils imposent un prix de vente de base, qui correspond au prix de fabrication et leurs bénéfices. Ensuite l'auteur fixe son bénéfice au choix. Le prix de vente vu par la cliente est la somme.

        J'ai choisi "bénéfice auteur = 0". Donc le prix de vente est le prix de base.

        MAIS. Pour vendre en librairie via thebookedition, l'imprimeur (i.e. thebookedition) fait une «remise au libraire» prise sur le bénéfice de l'auteur.
        Vu que je n'ai pas de bénéfices, thebookedition ne peut pas proposer aux libraires.

        Anecdote.
        Une année, un libraire a acheté des Fridos à thebookedition et les a revendu à un de ses clients qui en voulait.

        En ce qui concerne le dépot légal, je ne me suis pas renseigné.
        En réalité la vente du Frido est juste une méthode pour contourner respecter le règlement de l'agrégation qui n'autorise que les ressources bibliographiques en vente (dans le règlement de l'agreg, cette phrase est écrite au présent : les livres qui ne sont plus édités sont interdits).

        Bref, moins je m'engage, mieux je me porte ;)

        • [^] # Re: dépot légal ?

          Posté par  (site web personnel, Mastodon) . Évalué à 3.

          L'isbn n'est pas gratuit. Plus précisément tu paies des frais de dossier pour l'avoir, tu n'as pas le choix et il est indispensable pour la vente en librairie.

          « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

        • [^] # Re: dépot légal ?

          Posté par  (site web personnel) . Évalué à 3.

          Ce n'est plus gratuit, voici les tarifs officiels : 1ère de demande : 30 € HT (36 € TTC)

          Voir https://www.afnil.org/tarification/ pour les détails.

        • [^] # Re: dépot légal ?

          Posté par  . Évalué à 5. Dernière modification le 11 octobre 2022 à 10:42.

          Je trouve dommage d'avoir peur du dépôt légal et de la BNF ça me semble pas être une institution avec un grand potentiel de nuisance comme certaines autres administrations.. Clairement il doit y avoir beaucoup de livres en auto édition qui ne sont pas déposés.

          Dans l'édition il est courant d'utiliser des pseudonymes par exemple ca me semble assez souple..

          L'auto édition et les livres électroniques sont inclus dans l'obligation du dépôt légal. Maintenant ça me semble mieux de déposer la version électronique que de rien déposer du tout…

          La discussion a dérivé vers l'ISBN mais la FAQ indique qu'il n'est pas obligatoire pour déposer.
          La principale contrainte que je vois est qu'il faut respecter les mentions obligatoires :
          https://www.bnf.fr/fr/mentions-obligatoires-des-documents-soumis-au-depot-legal

          Personnellement je verrai comme une reconnaissance de ton travail d'intégrer le catalogue général de la BNF.

          Dans tous les cas merci pour tes contributions au domaine des maths francophones.

          • [^] # Re: dépot légal ?

            Posté par  (site web personnel) . Évalué à 5.

            Mais concrètement, ça sert à quoi, à part à encombrer un disque dur quelque part ?

            Le Frido est un document qui évolue en permanence; ce n'est pas un livre figé.

            Le livre figé n'existe que parce que le règlement de l'agrégation exige (pour éviter des abus ?) que les ressources bibliographique soient commercialisées.

  • # Version ePub

    Posté par  (site web personnel, Mastodon) . Évalué à 3.

    Il y a-t-il des projets de conversion au format epub pour lire sur des liseuses ?

    J'ai plus qu'une balle

    • [^] # Re: Version ePub

      Posté par  (site web personnel, Mastodon) . Évalué à 4.

      Je crois que ça avait déjà été demandé l'année dernière :-)

      Comme il y a des formules mathématiques, ça doit impérativement être au format epub3 pour des raisons d'accessibilité.

      « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

      • [^] # Re: Version ePub

        Posté par  (site web personnel, Mastodon) . Évalué à 3. Dernière modification le 12 octobre 2022 à 13:31.

        En effet, en faisant une recherche sur linuxfr j'ai trouvé quelques trucs :

        Mais en gros : c'est pas simple.

        J'ai plus qu'une balle

        • [^] # Re: Version ePub

          Posté par  (site web personnel, Mastodon) . Évalué à 5. Dernière modification le 12 octobre 2022 à 20:20.

          Je viens de réessayer de faire un epub, en fait un epub 2 et un epub 3, à partir du pdf. Les formules de maths ne s'affichent pas correctement (en admettant qu'elles s'affichent). Apparemment ma liseuse n'a pas les glyphes kivonbien pour les formules de math, mon ordinateur non plus. Et, évidemment, je ne sais pas si ma liseuse peut accepter les polices du pdf d'origine.

          Mais c'est un progrès. À force de rater, ça finira bien pas marcher un jour.

          N'importe comment, cela me conforte dans l'idée qu'il faut faire un fichier spécifique pour les version epub et pas se contenter d'un fichier à tout faire.

          « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

          • [^] # Re: Version ePub

            Posté par  (site web personnel, Mastodon) . Évalué à 3.

            LaTeX utilise des polices particulières pour les formules mathématiques. Normalement toutes les polices utilisées sont incluses dans le PDF, mais c'est vrai qu'il faut les récupérer et les installer sur la liseuse…
            Le mieux est encore de partir du source pour générer son EPUB (me semble avoir vu un truc qui le faisait) ou au pire de générer le HTML (par contre les formules sont converties en image, mais j'ai cru lire je ne sais plus où qu'il y a une solution pour produire de MathML)

            “It is seldom that liberty of any kind is lost all at once.” ― David Hume

            • [^] # Re: Version ePub

              Posté par  (site web personnel, Mastodon) . Évalué à 4.

              Le problème n'est pas tant la police que le codage du coup et si je comprends bien.

              Cela dit, j'ai utilisé Calibre qui te dit qu'il va incorporer les polices du document au fichier epub si elles figurent dans l'ordinateur, sans garantie que la liseuse accepte et fonctionne avec. Ce qui me fait penser qu'il faudrait que je fasse des essais avec d'autres documents pour voir ce que ça donne.

              « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

              • [^] # Re: Version ePub

                Posté par  (site web personnel, Mastodon) . Évalué à 4.

                si elles figurent dans l'ordinateur

                Voilà, de base ces fontes ne sont pas installées localement mais embarquées dans le PDF…
                Avec Adobe Acrobat Reader par exemple, il faut aller dans le menu Propriété puis l'onglet Fontes (ou Polices ? Je ne sais pas comment c'est traduit en français.) Toutes les visualiseuses de document ne donnent pas accès à ces métas-informations et je n'ai pas X sur mon poste Linux pour vérifier quel programme le fait. Par contre, j'ai souvenir qu'en installant Poppler, on a la commande pdffonts pour récupérer ces informations en ligne de commande.

                “It is seldom that liberty of any kind is lost all at once.” ― David Hume

                • [^] # Re: Version ePub

                  Posté par  (site web personnel, Mastodon) . Évalué à 6.

                  Okular, Evince et le visionneur Atril donnent accès aux méta-informations. Je n'ai pas regardé les autres.

                  « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

    • [^] # Re: Version ePub

      Posté par  (site web personnel) . Évalué à 7.

      Question classique. Personnellement, cette question ne m'intéresse pas du tout, et je ne compte pas y travailler.

      La génération d'epub est très demandée. Je reçois de temps en temps des mails me disant «c'est facile, il suffit de …».
      Mais pour l'instant les méthodes proposées plantent pour diverses raisons.

      Si quelqu'un veut s’atteler à la tâche, voici l'état de l'art de la question.

      Ceci compile Giulietta en pur latex:

      git clone git@github.com:LaurentClaessens/mazhe.git
      cd mazhe
      pdflatex mazhe.tex
      

      En ce qui concerne l'epub, le plus prometteur est la commande suivante:

      pandoc -f latex -t epub3  mazhe.tex -o out.epub
      

      Le problème est que pandoc ne suit pas les \input.

      Du coup j'ai généré un fichier contenant toutes les sources en un seul fichier.

      wget https://laurent.claessens-donadello.eu/pdf/d%C3%A9fi_epub/defi_epub.tex
      pdflatex defi_epub.tex
      

      Ceci produit le Frido auquel il manque quelque liens dans la biblio pour des raisons techniques.

      À partir de là, on peut tenter ceci:

      pandoc -f latex -t epub3 defi_epub.tex -o out.epub

      Et ça, ça plante sur

      Error at "source" (line 11208, column 17):
      unexpected \writeOfyanntricks
      \immediate\write\writeOfyanntricks{totalheightofdce34f4dfb2406144304ad0d6106c5382ddd1446:\the\lengthOfforyanntricks-}

      Voici le défi pour les amateurs de grosses manipulations de chaînes de caractères.

      La ligne problématique se trouve dans un environnement figure qui est schématiquement comme ceci :

      \begin{figure}[ht]
      \centering
      
      [... plein de lignes ...]
      
      \tikzsetnextfilename{tikzSuiteUnSurn}
      
      [... autres lignes dont un tikzpicture]
      
      \caption{\CaptionFigSuiteUnSurn}\label{LabelFigSuiteUnSurn}
      \end{figure}
      
      • Repérer la ligne \tikzsetnextfilename, et garder son argument sous le coude.
      • Supprimer le contenu de tout l'environnement, sauf la ligne de caption
      • Remplacer tout le contenu de l'environnement par l'inclusion du fichier png que vous trouverez dans le répertoire mazhe/auto/pictures_tikz.
      • Le nom du png que vous cherchez est la string que vous avez gardé au premier point.

      Une fois que vous avez ça dans votre langage de programmation préféré (donc en rust ou python), vous emballez ça dans une fonction qui prend en entrée le fichier defi_epub.tex et qui donne en sortie un fichier sur lequel pandoc va fonctionner.

      Le mieux pour moi serait une fonction en python qui prend en entrée le fichier sous forme de string et qui ressort la réponse sous forme de string.
      Si votre langage préféré est un autre, il faut qu'il puisse être installé sans affecter le système.

      Par exemple, pour node je sais comment faire pour avoir une installation locale comme un venvde python.

  • # Mathophiles

    Posté par  . Évalué à 2.

    Pour ceux qui ne connaissent pas, il y a une petite revue pour se mathémasturber qui est distribuée gratuitement dans quelques écoles et dojos au Québec. C'est aussi disponible en PDF (pas d'epub désolé XD ).

    https://accromath.uqam.ca/

    Bonne lecture!

  • # Mathophiles

    Posté par  . Évalué à 0.

    Pour ceux qui ne connaissent pas, il y a une petite revue pour se mathémasturber qui est distribuée gratuitement dans quelques écoles et dojos au Québec. C'est aussi disponible en PDF (pas d'epub désolé XD ).

    https://accromath.uqam.ca/

    Bonne lecture!

  • # La ou les mathématiques ?

    Posté par  . Évalué à 0.

    Pourquoi utiliser le singulier ? J'ai toujours entendu le pluriel qui me semble mieux rendre compte de la multiplicité des systèmes logiques et axiomatiques.

    Effet de mode ?

    Mort aux cons !

    • [^] # Re: La ou les mathématiques ?

      Posté par  . Évalué à 4.

      Une « mode » qui date apparemment du millénaire précédent avec Nicolas Bourbaki et Jean Dieudonné : https://fr.wikipedia.org/wiki/Math%C3%A9matiques#%C3%89tymologie

      • [^] # Re: La ou les mathématiques ?

        Posté par  (site web personnel) . Évalué à 5. Dernière modification le 01 novembre 2022 à 06:03.

        Une « mode » qui date apparemment du millénaire précédent

        D'après Wikipédia (la page exacte que tu cites):

        L'usage du pluriel est un héritage de l'époque antique, où le quadrivium regroupait les quatre arts dits « mathématiques » : l'arithmétique, la géométrie, l'astronomie et la musique.

        Donc bon, si le singulier date du millénaire précédent, le pluriel est une «mode» qui date d'encore deux millénaires plus tôt ;)

        • [^] # Re: La ou les mathématiques ?

          Posté par  . Évalué à 2.

          En fait c'est l'emploi du mot "mode" qui m'a fait réagir. Une mode qui a plusieurs décennies n'en est plus une.

          Je suis de la 1ère génération qui a découvert les mathématiques avec les "maths modernes" dés la 6e. La théorie des groupes en 6e, c'était magnifique. Sérieusement. En tous les cas pour moi, et cela a décidé de la suite de mes études et de ma vie professionnelle. Il me semble qu'à cette époque l'EN a essayé d'imposer le singulier, mais ça n'a pas pris, même avec le jeu du chamboule-tout des "maths modernes".
          En fait si les arguments en faveur de l'usage du singulier sont valides, ils ne sont pas pertinents pour l'immense majorité des utilisateurs du mot, y compris les étudiants en mathématique, voire les professionnels mathématiciens, car ils ne voient pas dans leur quotidien l'unité de la discipline.

          • [^] # Re: La ou les mathématiques ?

            Posté par  . Évalué à 0.

            En fait c'est l'emploi du mot "mode" qui m'a fait réagir. Une mode qui a plusieurs décennies n'en est plus une.

            https://www.youtube.com/watch?v=nS6BlRXAU0M
            https://www.youtube.com/watch?v=DYZ7c8LmqnM

            Mort aux cons !

          • [^] # Re: La ou les mathématiques ?

            Posté par  . Évalué à 1.

            En fait si les arguments en faveur de l'usage du singulier sont valides, ils ne sont pas pertinents pour l'immense majorité des utilisateurs du mot, y compris les étudiants en mathématique, voire les professionnels mathématiciens, car ils ne voient pas dans leur quotidien l'unité de la discipline.

            Heu, c'est pas plutôt que l'usage est au pluriel et que tout le monde, même les professionnels et les étudiants en mathématique, s'en contrefichent ?

    • [^] # Re: La ou les mathématiques ?

      Posté par  (site web personnel) . Évalué à 4.

      Pourquoi utiliser le singulier ? J'ai toujours entendu le pluriel qui me semble mieux rendre compte de la multiplicité des systèmes logiques et axiomatiques.

      Au contraire, le singulier rend mieux compte de l'unification apportée par la logique.

      On nomme "méta-mathématique" les théorèmes qui comparent les théorèmes prouvables dans un système axiomatique des théorèmes prouvables dans un autre.

      Deux systèmes axiomatiques différents ne sont pas deux mathématiques différentes. Ils existent en même temps, et on peut prouver des théorèmes qui les lient.

      D'après Wikipédia:

      L'usage du pluriel est un héritage de l'époque antique, où le quadrivium regroupait les quatre arts dits « mathématiques » : l'arithmétique, la géométrie, l'astronomie et la musique.

      Aujourd'hui arithmétique et géométrie ne sont plus distincts; l'astronomie et la musique ne sont plus de la mathématique. Le singulier est donc plus logique.

      Bref, le singulier insiste sur la non-différentiation entre la géométrie, l'arithmétique et l'analyse.
      De ce point de vue, le singulier est peut-être du snobisme, mais j'assume.

      • [^] # Re: La ou les mathématiques ?

        Posté par  . Évalué à 0.

        Oui on a unifié certaines sous-disciplines, mais on en a créé d’autres. Et il n’est pas du tout clair (en tout cas pour moi, mais aussi à un niveau bien élevé semble-t’il) qu’on puisse écrire toutes les mathématiques de manière unifiée. Par exemple tu n’abordes pas du tout la théorie des catégories, qui ne peut être écrite dans ZF(C) ; la question des fondements des mathématiques et de la logique peut recevoir plusieurs solutions différentes.

        Tu peux faire cohabiter deux systèmes axiomatiques que parce que tu as mis au point un système axiomatique plus universel, ie. qui les englobe, ie. dans lequel tu peux exprimer les deux systèmes d’axiomes particuliers. On ne fait que déplacer le point d’interrogation ; mais il n’existe pas un système axiomatique absolument universel (et il n’en existera jamais àmha).

        Mort aux cons !

        • [^] # Re: La ou les mathématiques ?

          Posté par  . Évalué à 4.

          Du coup tu milites pour qu'on dise les Physiques ? Ça serait quand même dommage d'oser mélanger la physique classique, la physique quantique et la relativité générale…

          • [^] # Re: La ou les mathématiques ?

            Posté par  (site web personnel) . Évalué à 4.

            On dit les informatiques ou bien c'est juste de la math appliquée ? Voire de la physique appliquée ? On déplace juste péniblement des électrons et des photons. J'aime les vraies questions qui font avancer les pertinences ou les inutiles, comme j'aime les sciences comme les météorologies ou les astronomies ou les médecines ou la science, surtout celles qui permettent les unifications globales et les universalités communes, dans des buts de fusions amalgamantes et de regroupements fédérateurs.

          • [^] # Re: La ou les mathématiques ?

            Posté par  . Évalué à 0.

            C'est que le programme de Hilbert a été définitivement mis au rebut depuis presque un siècle.

            Quant à la physique pourquoi trouves-tu si saugrenue ce qui représente une idée qui occupe actuellement tant, si ce n'est toute, la recherche fondamentale ?

            Mort aux cons !

          • [^] # Re: La ou les mathématiques ?

            Posté par  (site web personnel, Mastodon) . Évalué à 3.

            Il me semble qu'au lycée j'avais bien des cours de sciences physiques, au pluriel. Et des cours de sciences naturelles au pluriel aussi.

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.