Re:Lemma for the Fundamental Theorem of Galois Theory
by Bayes7 on Saturday March 15, 2025 @12:26PM
(#43373503)
Would you mind sharing how it turned out useful?
[ Parent
| on HN ]
Re:Lemma for the Fundamental Theorem of Galois Theory
by nextts on Sunday March 16, 2025 @01:58AM
(#43377165)
Curious too. It feels like the maths parts of programming are the hobby (proof checkers, Haskell) and the cranking out Go/JS etc is the paid bit. I studied maths but never used more than high school level at work.