Has anyone made an index of projects like the Busy Beaver Challenge and Tao's Equational Theories Project? I love the idea of taking a bunch of problems and solving them in size order; pushing back the frontier of mathematics systematically. I know I also saw a stackexchange post where some looked at all the small sentences in PA. Is there an overview somewhere?
Recent searches
Search options
#mathematics
22 posts17 participants0 posts today
Replied in thread
Theorem of the Day (June 6, 2025) : The Bruck-Ryser-Chowla Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/CombinatorialTheory/BruckRyserChowla/TotDBRC.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#3
#mathematics #maths #math #theorem @Theoremoftheday
**The Foundations of Geometry by David Hilbert**
“_Read or download for free_”
https://www.gutenberg.org/ebooks/17384.
#ProjectGutenberg #Read #Download #Ebook #Bookstodon #Maths #Mathematics #Math #Geometry @bookstodon
Project GutenbergThe Foundations of Geometry by David HilbertFree kindle book and epub digitized and proofread by volunteers.
"Mathematics as an expression of the human mind reflects the active will, the contemplative reason, and the desire for aesthetic perfection. Its basic elements are logic and intuition, analysis and construction, generality and individuality." – Richard Courant and Herbert Robbins
#quote #mathematics #maths #math
ѦਹѤʞ 
Continued thread
Now this animation is available for the 1000 sequences decomposed on my website.
Accessible from the 3Dgraph, 2Dgraph500terms and 2dgraphs pages 
https://decompwlj.com/
A little more work on axis sizing and controls.
decompwlj.comDecomposition into weight × level + jump - 3D graphs - 2D graphs - First 500 terms - Rémi EismannDecomposition into weight × level + jump with 3D graphs (WebGL three.js), 2D graphs and first 500 terms. This decomposition is an extension of the fundamental theorem of arithmetic and a new way to see the numbers. 1000 sequences decomposed (natural numbers, prime numbers, triangular numbers, composites...). Rémi Eismann
Continued thread
4: The palindromes in base 10 (A002113) https://decompwlj.com/3DgraphGen/Palindromes.html
Continued thread
3: The triangular numbers (A000217) https://decompwlj.com/3DgraphGen/Triangular_numbers.html
Continued thread
2: The prime numbers (A000040) https://decompwlj.com/3DgraphGen/Prime_numbers.html
Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:
1: The natural numbers (A000027) https://decompwlj.com/3DgraphGen/Natural_numbers.html
“I Reunite Architecture and Perspective”: Hirschvogel’s *Geometria* (1543)
One theory about wormholes — those speculative cosmological structures that tunnel between distant points in the universe — holds that spacetime can be folded like a piece of paper, bringing the near and far into proximity.
https://publicdomainreview.org/collection/hirschvogel-s-geometria-1543/
Online version:
https://digital.slub-dresden.de/werkansicht/dlf/8077/1?tx_dlf%5Bpagegrid%5D=1&cHash=b4db56391c1bb332830d76c2e3d08615
"The idea that the development of proof assistants will somehow lead to mathematicians being replaced by computers, that's a sheer nonsense [...]. Because mathematics is first and foremost a creative field. As far as non creative mathematics is concerned, then of course computers are replacing people who are doing computations [...]. I don't see how [mathematicians] can be in any sense replaced by computers [...]" – Vladimir Voevodsky (1966-2017)
#quote #mathematics #math #maths
![Photographic portrait of Vladimir Voevodsky, and a quote : "The idea that the development of proof assistants will somehow lead to mathematicians being replaced by computers, that's a sheer nonsense [...]. Because mathematics is first and foremost a creative field. As far as non creative mathematics is concerned, then of course computers are replacing people who are doing computations [...]. I don't see how [mathematicians] can be in any sense replaced by computers, because computers can only serve ; they don't create human energy or social energy by themselves."](https://media.mathstodon.xyz/media_attachments/files/114/625/933/161/493/027/original/94378c573e4d484e.png "Photographic portrait of Vladimir Voevodsky, and a quote : \"The idea that the development of proof assistants will somehow lead to mathematicians being replaced by computers, that's a sheer nonsense [...]. Because mathematics is first and foremost a creative field. As far as non creative mathematics is concerned, then of course computers are replacing people who are doing computations [...]. I don't see how [mathematicians] can be in any sense replaced by computers, because computers can only serve ; they don't create human energy or social energy by themselves.\"")
Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:
1: The natural numbers (A000027) https://decompwlj.com/3DgraphGen/Natural_numbers.html
If you want to read the most famous math text book ever, the "Elements" by Euclid, which kind of defined mathematics for 2000 years, here is a free version, Koine Greek and modern English, translation by Richard Fitzpatrick.
https://farside.ph.utexas.edu/books/Euclid/Euclid.html
farside.ph.utexas.eduEuclid's Elements of Geometry
Here's a question: let \(M\) be a \(0\times 0\) matrix with entries in the field \(\mathbb{F}\). What is \(\det(M)\)?
Prime numbers, the building blocks of mathematics, have fascinated for centuries − now technology is revolutionizing the search for them
By Jeremiah Bartz
Prime numbers at PG:
https://www.gutenberg.org/ebooks/search/?query=prime+numbers
The ConversationPrime numbers, the building blocks of mathematics, have fascinated for centuries − now technology is revolutionizing the search for them
More from 
The Conversation U.S.
Theorem of the Day (June 2, 2025) : Sharkovsky’s Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/Analysis/Sharkovsky/TotDSharkovsky.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#71
#mathematics #maths #math #theorem @Theoremoftheday
Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:
The natural numbers (A000027) https://decompwlj.com/3DgraphGen/Natural_numbers.html
Re: Trump’s baseless claim that “#Harvard announced two weeks ago that they’re going to teach remedial #mathematics, remedial, meaning they’re going to teach low grade mathematics like two plus two is four,” I have to admit that I’m surprised and impressed to learn that #Trump knows that two plus two is four.