Current location - Training Enrollment Network - Mathematics courses - In which book did mathematician Hilbert put forward the idea of moving from axiomatization to mechanization?
In which book did mathematician Hilbert put forward the idea of moving from axiomatization to mechanization?
Mathematician Hilbert put forward a mathematical concept from axiomatization to mechanization in Basic Geometry.

Knowledge popularization:

David Hilbert, also translated by david hilbert (David Hilbert,1862 65438+1October 23rd ~1February 943 14), a famous German mathematician, is one of the greatest mathematicians in the 20th century, and is called "Alexander in mathematics" by later generations. His contribution to mathematics is enormous and multifaceted, and his research fields involve algebraic invariants, algebraic number fields, geometric foundations, variational methods, integral equations, infinite dimensional spaces, physics and mathematical foundations. His "Fundamentals of Geometry" published in 1899 became the representative work of modern axiomatic method, which promoted the formation of "axiomatic chemistry school of mathematics". It can be said that Hilbert is the founder of modern formal axiom school. ?

1900 On August 8th, at the 2nd International Congress of Mathematicians held in Paris, Hilbert put forward 23 mathematical problems that mathematicians should try to solve in the new century, which are considered as the highest point of mathematics in the 20th century. The study of these problems strongly promoted the development of mathematics in the 20th century and had a far-reaching impact in the world. The school of mathematics led by Hilbert was a banner of mathematics at the end of 19 and the beginning of the 20th century. Hilbert is known as the "uncrowned king" and a genius among geniuses.