"Une spécificité du savoir mathématique est que les mathématiciens sont les seuls scientifiques à avoir une notion bien définie de "vrai". Pour un mathématicien, un énoncé qui est vrai est un énoncé qui est démontré. Malheureusement, cela dit aussi que le savoir mathématique, à supposer que cela ait un sens, est un savoir conditionnel, c’est-à-dire conditionné à des hypothèses." – Claire Voisin (1962-)
#citation #mathématiques #maths #math
Today I contributed to a day of training for folks from museums across Scotland who are gearing up to take part in #MathsWeekScotland.
I was supposed to be giving the attendees ideas, but *they* were such an incredible source of inspiration, in terms of specific ideas but also with regards to attitudes and the general dream of the thing.
Seen on a local #StreetLibrary.
"Fresh Prime Numbers. Please take one."
"Mathematicians attach a great importance to the elegance of their methods and of their results [...]. What is it that gives us the feeling of elegance in a solution or a demonstration ? It is the harmony of the different parts, their symmetry, and their happy adjustment; it is, in a word, all that introduces order, all that gives them unity, that enables us to obtain a clear comprehension of the whole as well as of the parts." – Henri Poincaré (1854-1912)
#quote #mathematics #maths #math
![Photographic portrait of Henri Poincaré, and a quote : "Mathematicians attach a great importance to the elegance of their methods and of their results [...]. What is it that gives us the feeling of elegance in a solution or a demonstration ? It is the harmony of the different parts, their symmetry, and their happy adjustment; it is, in a word, all that introduces order, all that gives them unity, that enables us to obtain a clear comprehension of the whole as well as of the parts."](https://media.mathstodon.xyz/media_attachments/files/114/580/630/754/455/591/original/37fd13550413e0f1.png "Photographic portrait of Henri Poincaré, and a quote : \"Mathematicians attach a great importance to the elegance of their methods and of their results [...]. What is it that gives us the feeling of elegance in a solution or a demonstration ? It is the harmony of the different parts, their symmetry, and their happy adjustment; it is, in a word, all that introduces order, all that gives them unity, that enables us to obtain a clear comprehension of the whole as well as of the parts.\"")
"A guy says he wwas questioned on a plane for doing math during a flight."
Bonjour à toutes et tous ! 
Petite annonce pour partager un nouveau sujet d'AutomaTeX ! 
Génération aléatoire d'exercices d'automatisme en LaTeX - le sujet est obtenu sans connaître LaTeX en 3 clics.
Niveau sixième :
l'addition de décimaux, 
la décomposition de fractions à placer sur un axe gradué, 
le périmètre et l’aire d’un rectangle.
Le nouveau sujet : 
https://lmdbt.forge.apps.education.fr/automatex/6e/AutomaTex(25)/automatex(25).html
Les autres sujets : https://lmdbt.forge.apps.education.fr/automatex/
Licence : 
#LaForgeÉdu : https://docs.forge.apps.education.fr
Merci à @maudinou2002 pour ses contributions et son dynamisme !
Bonne soirée à tous ! 
#maths #éducation #AutomaTeX #6e #TexLaTeX #TeamPE #TeamMaths
749 
Pure #CSS Möbius 6hedrons https://codepen.io/thebabydino/pen/mJojKd
The how behind I live coded it in 30 minutes https://css-tricks.com/how-i-live-coded-my-most-hearted-codepen-demo/
Could be improved with CSS variables nowadays, see https://css-tricks.com/simplifying-css-cubes-custom-properties/ as well as by using CSS trigonometric functions.
News about a new, open-access journal covering original work in the intersection of mathematics and fibre/fiber arts.
Details are on the website :
Looks intriguing!
This *definitely* needs to get outside my bubble, so boosts are especially welcome, and if people can suggest more hashtags, that would be great.
#FibreArt #FiberArt #Mathematics #Math #Maths #Journal #Knitting #Crochet #Weaving
More hashtags suggested ... adding here as an edit ... not all are applicable, but ... who knows!
#Knitting #Knitstodon #FiberArts #FibreArts #NeedleArts #Maker #Creator #Crafts #HandMade #SurfFeeds
#PrintMaking #Woodcut #Art #HandMade #Analog #Arte #Xilografia #Grafica #ArtIsForEveryone
Thank you for your indulgence ...
Here's the question for May 24th from the AMS Daily Epsilon of Math Calendar
@DailyEpsilon
Try hashtags, no idea which ones, but as you try to find math folk who use hashtags, Mastodon will put a number beside it marking how many posts used it ....
#math is 326 apparently and
#maths is only 101
Is it Cats Do Countdown math, or time is a function of gravity Math? Might get some with #physics (249)
I'm intrigued by the idea of how far a "pure λ-calculus" can go.
Just functions operating on functions, no numbers or other data types.
I'm a total beginner but I suspect the field is very rich.
Here's the question for May 21st from the AMS Daily Epsilon of Math Calendar.
Here's a little image gallery demo I made on @codepen
https://codepen.io/thebabydino/pen/LEYrVaE
Almost pure #CSS. Minimal #JS for changing the index of the current image on click.
For the how ensuring the #3D rotated side images have a given 2D projection on the screen, see https://stackoverflow.com/a/75063640/1397351
We are living through difficult times 
#humor #maths #actuallyautistic
Just got my author copies of Python for Mathematics! (https://www.routledge.com/Python-for-Mathematics/Knight/p/book/9781032582184)
The book flips the usual programming order—starting with powerful maths tools before diving into code.
The publishers worked with me to agree to keep an online version available too: https://vknight.org/pfm/cover.html (This version needs updating!)
You can find some of my thoughts on how the book is structured here: https://vknight.org/2025/05/19/python-for-mathematics-book.html
More updates soon. 
#Python #Math #Maths #Mathematics #Mathed
Today I have been learning the basics of λ-calculus
α- equivalence
β- reduction
... all necessary basics before I can get the cool stuff about using type checkers to prove maths (I think).
The Origins and Motivations of Univalent Foundations
A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes
by Vladimir Voevodsky
I forgot to acknowledge last November marked 10 years since the passing of Alexander Grothendieck, who was not just another mathematician.
Perspectives abound
https://en.wikipedia.org/wiki/Alexander_Grothendieck
The Lives of Alexander Grothendieck
https://archive.ph/anqKz
The Anarchist Abstractionist
https://www.cantorsparadise.org/the-anarchist-abstractionist-who-was-alexander-grothendieck-cc396083d94e/
As If Summoned From The Void (PDF)
https://www.ams.org/notices/200410/fea-grothendieck-part2.pdf
