🚀 New GitHub Drop: LaeSpi Essential Theorems Exploring the symbolic foundations of Laegna & Spireason—logic meets intuition, math meets meaning. Each theorem opens a door to infinite recursion, healing, and cognitive insight. Dive in: github.com/tambetvali/LaeSpiEssentialTheorems #SymbolicLogic #Spireason #Laegna #MathPhilosophy #AIIntuition
📈 So you thought you could dodge #calculus with a “conceptual” take on Euler's formula? 😂 Spoiler: it's just a fancy way to say you're still drowning in power series, but now with extra philosophy! 🧠🔄
http://www.deaneyang.com//blog/blog/math/exponential-function/euler-formula/2025/05/29/ExponentialFunctions.html #PowerSeries #Humor #MathPhilosophy #DrowningInMath #HackerNews #ngated
Exponential functions and Euler’s formula

$\newcommand\R{\mathbb{R}}\newcommand\C{\mathbb{C}}\newcommand\Z{\mathbb{Z}}\newcommand\Q{\mathbb{Q}}$

A Cluttered Mind
Terence Tao, math's own Shakespeare, decides we all need ANOTHER analysis textbook 🎉. This one's adorned with "Lean" updates, because who doesn’t want their numbers constructed with a side of philosophical musings? 🧐✨
https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/ #TerenceTao #AnalysisTextbook #LeanUpdates #MathPhilosophy #Education #HackerNews #ngated
A Lean companion to “Analysis I”

Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I”. It was intended to complement the many good available analysis textbooks out there by focusing more on foun…

What's new
I have created an irc channel on #math #mathphilosophy #mathfoundations . hashmathphilosophy (pay attention you may need to add the hash prefix to join) on libera irc network.
The traffic is near to zero so if you leave a question be day-patient. I monitor it but once per day.
We must try novel approaches . I have some ideas. I d please to discuss them.