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
- page de téléchargement (370 clics)
- achat du premier volume (pour les 3 autres, suivez les liens) (78 clics)
- les sources LaTeX (83 clics)
# contenu impressionant
Posté par chimay . É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 magnolia . É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 :
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
[^] # Re: Livre de maths et de Python niveau prépa
Posté par _Tof_ . Évalué à 2.
Alors là, si je m'attendais à trouver une citation de Inès Reg dans un livre de maths !!! o_O
# Rapports d'erreurs?
Posté par ChetManley . É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 LaurentClaessens (site web personnel) . Évalué à 2.
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 Ant . É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 gUI (Mastodon) . Évalué à 10.
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 chansen . É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 Ysabeau 🧶 (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 LaurentClaessens (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
contournerrespecter 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 Ysabeau 🧶 (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 Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 2.
Et c'est un segment (qui peut être d'un seul numéro) qui est attribué.
https://entreprendre.service-public.fr/vosdroits/R18405
On nous annonce vingt-cinq euros de frais de dossiers
https://www.monbeaulivre.fr/isbn/
ou plus… en quatre pas…
https://fr.wikihow.com/obtenir-un-num%C3%A9ro-ISBN
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: dépot légal ?
Posté par LaurentClaessens (site web personnel) . Évalué à 3.
Je ne sais pas quoi dire; la règle a peut-être changé depuis quelques années. En tout cas, moi j'en ai eu 40 sans payer.
[^] # Re: dépot légal ?
Posté par Ysabeau 🧶 (site web personnel, Mastodon) . Évalué à 4.
Ça a changé. Effectivement j'ai connu une époque où c'était gratuit (et où le dépôt légal était plus exigeant).
« Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.
[^] # Re: dépot légal ?
Posté par Guillaume Maillard (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 chansen . É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 LaurentClaessens (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 martoni (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 Ysabeau 🧶 (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 martoni (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 Ysabeau 🧶 (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 Gil Cot ✔ (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 Ysabeau 🧶 (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 Gil Cot ✔ (site web personnel, Mastodon) . Évalué à 4.
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 Ysabeau 🧶 (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 LaurentClaessens (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:
En ce qui concerne l'epub, le plus prometteur est la commande suivante:
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.
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 :\tikzsetnextfilename
, et garder son argument sous le coude.mazhe/auto/pictures_tikz
.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 fichierdefi_epub.tex
et qui donne en sortie un fichier sur lequelpandoc
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 unvenv
de python.# Mathophiles
Posté par Varsovie . É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 Varsovie . É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 PR . É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 Jean-Baptiste Faure . É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 LaurentClaessens (site web personnel) . Évalué à 5. Dernière modification le 01 novembre 2022 à 06:03.
D'après Wikipédia (la page exacte que tu cites):
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 Jean-Baptiste Faure . É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 PR . Évalué à 0.
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 alkino . Évalué à 1.
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 LaurentClaessens (site web personnel) . Évalué à 4.
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:
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 PR . É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 alkino . É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 Benoît Sibaud (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 Ysabeau 🧶 (site web personnel, Mastodon) . Évalué à 3.
Les médecines ? Même celle-ci ?
« Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.
[^] # Re: La ou les mathématiques ?
Posté par PR . É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 kantien . Évalué à 3.
Il n'a pas été mis aux rebuts, il a été réorienté : A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: La ou les mathématiques ?
Posté par pulkomandy (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.