Im having the time of my life here - generating graphs for the underlying space of metamathematics, honing in on possible equivalent theorems by using models to take slices of that space πππβ¦
Posters: exgenesis. exgenesis
3 likes recorded by the source corpus.
Topics: Math
View Post: https://x.com/exgenesis/status/1511717666913927181