Indeed. I'd suggest Susskind's Theoretical Minimum: Classical Mechanics if someone wants an introduction. He doesn't explicitly prove Noether but he demonstrate

Indeed. I'd suggest Susskind's Theoretical Minimum: Classical Mechanics if someone wants an introduction. He doesn't explicitly prove Noether but he demonstrates the connection between symmetry and conservation laws building the intuition to properly appreciate Noether. I've also written a series on Abstract Algebra for computer programmers if you're serious about learning it: https://xorvoid.com/galois_fields_for_great_good_00.html https://xorvoid.com/galois_fields_for_great_good_00.html