#math

12 avril 1852 : #CeJourLà naissance de Ferdinand von Lindemann (†6/3/1939), mathématicien allemand connu pour avoir prouvé en 1882 que le nombre π était transcendant.
https://fr.wikipedia.org/wiki/Ferdinand_von_Lindemann
#mathématiques #maths #math

The generation of prime numbers into weight × level + jump (animation - three.js)

Experimental for now (only natural and prime numbers) but soon this animation will be added to the 1000 sequences of my site.
https://decompwlj.com/exp-code/code-anim-prime.html
https://decompwlj.com/exp-code/code-anim-natural.html

#decompwlj #math #mathematics #sequence #OEIS #javascript #php #3D #numbers #primes #PrimeNumbers #graph #threejs #webGL

One day, one decomposition
A230633: Numbers n such that m + (sum of digits in base-4 representation of m) = n has exactly one solution

3D graph, threejs - webGL https://decompwlj.com/3Dgraph/A230633.html
2D graph, first 500 terms https://decompwlj.com/2Dgraph500terms/A230633.html

#decompwlj #math #mathematics #sequence #OEIS #javascript #php #3D #numbers #sum #digits #base #graph #threejs #webGL

"Recognizing the anthropocentric origins of base-10, the specific properties of different number bases, the distinction between mathematical and physical constants, and the profound implications of concepts like the holographic principle opens optimistic avenues for scientific progress."

https://qnfo.org/releases/2025/Ten-Fingered+Trap

#math #science #physics #academia

Today in BoneQuest History for April 11th 2012 "FN = FN-1 + FN-2" https://bonequest.com/4856 #bonequest #deuce_solo #fibonacci_sequence #math

Je partage ce texte [1] d'Eva Philippe [2], sur la place de la recherche en mathématiques, sur le militantisme, sur la dissonance cognitive, sur la recherche de sens à nos vies, sur l'enseignement (des mathématiques), sur plein d'autres choses aussi.

J'ai trouvé ça beau, honnête, humble, puissant.

[1] https://mycore.core-cloud.net/index.php/s/T9aFoz056jzKcoJ#pdfviewer
[2] https://perso.imj-prg.fr/eva-philippe/

#teamProf #teamEduc #math #maths #ecologie #militantisme #luttes

Perspective changes everything...

#Math #Function

+ des symétries axiales

#sketch #test #geogebra #symétries #truchet #triangles #random #math #creative #coding

"Le chimiste sourit des efforts puérils des alchimistes, mais le mathématicien trouve la géométrie des Grecs et l'arithmétique des Hindous aussi utiles et admirables que n'importe quelle recherche recherche d'aujourd'hui."– Florian Cajori (1859-1930)
#citation #mathématiques #maths #math

"The chemist smiles at the childish efforts of alchemists, but the mathematician finds the geometry of the Greeks and the arithmetic of the Hindoos as useful and admirable as any research of today." – Florian Cajori (1859-1930)
#quote #mathematics #math #maths

Source : Youtube / Société Mathématique de France - SMF

https://www.youtube.com/watch?v=SWH9_xpi4Uc
#mathématiques #maths #math #youtube

Simulating Some Queues https://lobste.rs/s/c92tqx #math
https://concerningquality.com/queue-simulations/

#Math #50

Found out about this at the #Moodle #STACKmath conference in #Durham. It is a set of pre-built items for creating STACK questions with #JSXGraph. Have not tried it yet, can anyone else commment?

https://github.com/mkraska/meclib

#math #maths #matehmatics

#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[f⁻¹[u]​] ⊆ u". https://jaalonso.github.io/calculemus/posts/2021/06/10-imagen_de_la_imagen_inversa/ #LeanProver #IsabelleHOL #Math

Theorem of the Day (April 11, 2025) : The Prime Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/NumberTheory/PrimeNumber/TotDPrimeNumber.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#33
#mathematics #maths #math #theorem @Theoremoftheday

A comparative review of ZFC, NBG, and MK axiom systems: Theoretical foundations and formalization in Coq. ~ Si Chen, Wensheng Yu. https://www.preprints.org/manuscript/202504.0684/v1 #ITP #Coq #Rocq #Math #SetTheory

Decomposing factorial of 300K as the product of 300K factors larger than 100K

http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html

Discussions: https://discu.eu/q/http://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html

#lisp #math #programming

Readings shared April 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25 #AI #ATP #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Programming #Reasoning

11 avril 1953 : #CeJourLà naissance de Andrew Wiles, mathématicien britannique spécialisé en théorie des nombres, connu pour sa preuve partielle de la conjecture de Shimura-Taniyama-Weil, ayant notamment pour conséquence le grand théorème de Fermat.
https://fr.wikipedia.org/wiki/Andrew_Wiles
#mathématiques #maths #math