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