ikrima/topos.noether
View on GitHub ↗ ★ 1
The Topos Of Noether
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2025-06-14 · latest 2025-06-14
20082026
-
…to the annals of Mathematics! Thank you for coming to my TED Stand Up Talk. More math at the GitHub: http://github.com/ikrima/topos.noether Also, if you're really that uptight, most of this is actually to teach algebraic topology to my…
comment by ikrima · 2025-06-14 · in Peano arithmetic is enough, because Peano arithmetic encodes computation -
…know what, I nerd sniped myself, here's a more fleshed out sketch of the [Discrete Continuum Bridge https://github.com/ikrima/topos.noether/blob/master/discrete...
comment by ikrima · 2025-06-14 · in Peano arithmetic is enough, because Peano arithmetic encodes computation -
…being point samples along curves of a basis of distributions to generalize notions of derivatives): https://github.com/ikrima/topos.noether/blob/aeb55d403213089...
comment by ikrima · 2025-06-14 · in Peano arithmetic is enough, because Peano arithmetic encodes computation