Ernst Noether
(1864 – 1939)