Post #2735436
2026-04-21 18:10 UTC
@byorgey@mathstodon.xyz did you use an already existing implementation of the real numbers or use a way to state it that doesn’t need that?
Replies (1)
-
@byorgey@mathstodon.xyz 2026-04-21 18:40
@boarders@mathstodon.xyz I was like, what, real numbers?? Then I realized I accidentally said the Fundamental Theorem of *Algebra* when I actually meant *Arithmetic*! haha, oops!