RE: https://mathstodon.xyz/@zbMATH/116160822401206741

Grete Hermann also proved a doubly exponential degree bound on the coefficient polynomials when writing a polynomial as member of an ideal. People in the 1920s thought of this to be a 'first bound' that is far from the truth.

Only in the 1980s it was understood that the bound is sharp, via the Mayr-Meyer construction from computer science:
https://zbmath.org/0506.03007

#algebra #mathematicshistory

Portrait sketch of the mathematical physicist and numerical analyst Cornelius Lanczos - he is playing the piano and his gaze is focussed on the sheet music in front of him. Donated by the Clifton family to @DIAS_Dublin and unveiled in a small ceremony today to mark the 50th anniversary of his death. #MathematicsHistory
#OTD fifty years ago, death on a return visit to his native Hungary of the Mathematician, Theoretical Physicist and Numerical Analyst Cornelius Lanczos. Emeritus Professor in @DIAS_Dublin. #NumericalMethods #MathematicsHistory #LinearAlgebra