Post #2735438
2026-04-21 19:05 UTC
@byorgey@mathstodon.xyz i do still think you’re a wizard, but fortunately my sanity is slightly restored that it doesn’t take 750 lines of agda to prove the fundamental theorem of algebra
Replies (2)
-
@byorgey@mathstodon.xyz 2026-04-21 19:27
@boarders@mathstodon.xyz oh, I think the Fundamental Theorem of Algebra could be proved in 750 lines of Agda. Some of the lines might be a bit long though.
-
@oantolin@mathstodon.xyz 2026-04-21 19:28
@boarders@mathstodon.xyz @byorgey@mathstodon.xyz hahaha! I was wondering what the uniqueness part of the fundamental theorem of algebra was, arithmetic indeed makes more sense!