(φ (μ (λ)))
1.05K subscribers
334 photos
16 videos
145 files
651 links
www.phimulambda.org

https://tv.dyne.org/c/phimulambda

Uncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ).

Other embeddings include:
- Computing
- Cognitive Science
- Linguistics
- Statistics

@DivyaRanjan1905
Download Telegram
Forwarded from A Math Book
Gödel’s Theorems and Zermelo’s Axioms.pdf
3.3 MB
Gödel’s Theorems and Zermelo’s Axioms: A Firm Foundation of Mathematics ( Lorenz Halbeisen & Regula Krapf ). Birkhäuser 2020
👍1
Forwarded from A Math Book
Modern Algebra and the Rise of Mathematical Structures ( Leo Corry ), 2nd edition. Birkhäuser 2004
Forwarded from A Math Book
Modern Algebra and the Rise of Mathematical Structures.pdf
64.1 MB
Modern Algebra and the Rise of Mathematical Structures ( Leo Corry ), 2nd edition. Birkhäuser 2004
(φ (μ (λ)))
https://en.wikipedia.org/wiki/J%C3%A1nos_Bolyai
Letter from János Bolyai's father (Farkas Bolyai) on Euclid's parallel postulate:

you must not attempt this approach to the parallels. I know this way to the very end. I have transversed this bottomless night, which extinguished all light and joy of my life. I entreat you, leave the science of parallels alone [...] I thought I would sacrifice myself for the sake of truth. I was ready to become a martyr who would remove the flaw from geometry and return it purified to mankind. I accomplished monstrous, enormous labours: my creations are far better than those of others and yet I have not achieved complete satisfaction [...] I turned back when I saw no man can reach the bottom of this night. I turned back unconsoled , pitying myself and all mankind. Learn from my example: I wanted to know about parallels. I remain ignorant, this has taken all the flowers of my life and all my time from me.
(φ (μ (λ)))
https://www.math.harvard.edu/in-memory-of-professor-emeritus-benedict-gross/
His Abstract Algebra course is still the best one on YouTube.
3
Or, as usually misattributed to Mao: "There is great disorder under the heavens, and the situation is excellent".
😁10
50th birthday of the Scheme Programming Language
🔥73😁2
Just links
GPTZero finds 100 new hallucinations in NeurIPS 2025 accepted papers https://gptzero.me/news/neurips/
To be emphasized these are accepted papers. Accepted by some of the most elite academics from the most elite companies or universities. Definitely we've made tremendous progress in intelligence, so much so that we are unable to distinguish it from useless hallucinations.

Imagine how much the average person is not being able to distinguish between stupid hallucinatory propaganda if these hyper-educated academics can't, in their own area of expertise.

Either that, or they were paid to accept these papers regardless. Both explanations denote the degradation of the already terrible state of academia. It's similar to the slop PRs free software maintainers have to spend time perusing through.
🔥3
This media is not supported in your browser
VIEW IN TELEGRAM
I sort of made a breakthrough, I originally thought this would be impossible but it eventually worked!

We now have a cursor for navigating the text in a document in Emacs Reader! And you can navigate entirely by keyboard!!

Right now in the demo below it can only emulate forward and backward movement, but I'll be implementing vertical movement. Not just that, you would be able to set marks and highlight just by your keyboard!
🎉62🔥1
(φ (μ (λ)))
I sort of made a breakthrough, I originally thought this would be impossible but it eventually worked! We now have a cursor for navigating the text in a document in Emacs Reader! And you can navigate entirely by keyboard!! Right now in the demo below it…
A bit of history, once integrated Emacs Reader would be the only document reader inside Emacs, and actually beyond Emacs even to support a fully keyboard-driven document reader. Even zathura or sioyek only navigate the page, not at character, word or line level.

Notoriously there was a huge (3K!) LOC PR to pdf-tools to enable this, which implements exactly this but it never got merged:

https://github.com/vedang/pdf-tools/pull/39
3🤔2