His insistence on rigor in geometry led him to establish axioms of betweenness, congruence, continuity, parallelism, and incidence, discussed in his The Foundations of Geometry. His first major achievement was a proof of the finiteness theorem, and later accomplishments include a proof of Waring's theorem and a description of the infinite dimensional space used in functional analysis that now bear
His insistence on rigor in geometry led him to establish axioms of betweenness, congruence, continuity, parallelism, and incidence, discussed in his The Foundations of Geometry. His first major achievement was a proof of the finiteness theorem, and later accomplishments include a proof of Waring's theorem and a description of the infinite dimensional space used in functional analysis that now bears his name. Extending Kronecker's theorem, justifying Schubert's enumerative geometry, determining whether solutions to Lagrangians are always analytic, and the axiomatization of physics are four of the 23 eponymous problems posed by, FTP, which German mathematician in 1900 as the most important of the 20th century?
His insistence on rigor in geometry led him to establish axioms of betweenness, congruence, continuity, parallelism, and incidence, discussed in his The Foundations of Geometry.
David Hilbert