Ancestors

Written by C.B. Aberlé on 2025-01-14 at 04:38

I've collected my thoughts on Synthetic Mathematics—as expressed in previous discussion with @chrisamaphone @jcreed @jonmsterling and @MartinEscardo, into a blog post on The Hyrax Project: https://hyrax.cbaberle.com/Hyrax/Philosophy/Synthetic+Mathematics

=> More informations about this toot | More toots from cbaberle@mathstodon.xyz

Toot

Written by C.B. Aberlé on 2025-01-14 at 04:41

You might also notice that the website's had a bit of a makeover since I announced it, including some nifty features like an interactive graph and search functionality, thanks to now running on Obsidian! Check it out: https://hyrax.cbaberle.com/Hyrax/index.lagda

=> More informations about this toot | More toots from cbaberle@mathstodon.xyz

Descendants