Traditional Culture Encyclopedia - The 24 Solar Terms - The third grade mathematics department explains the video.
The third grade mathematics department explains the video.
Aristotle defined mathematics as "quantitative mathematics", which lasted until18th century. /kloc-since the 0/9th century, mathematical research has become more and more rigorous, and it has begun to involve abstract topics such as group theory and projection geometry that have no clear relationship with quantity and measurement. Mathematicians and philosophers have begun to put forward various new definitions.
Some of these definitions emphasize the deductive nature of a lot of mathematics, some emphasize its abstraction, and some emphasize some themes in mathematics. Even among professionals, the definition of mathematics has not been reached.
Whether mathematics is an art or a science has not even been decided. Many professional mathematicians are not interested in the definition of mathematics or think it is undefined. Some just said, "Mathematics is done by mathematicians."
The three main mathematical definitions are called logicians, intuitionists and formalists, each of which reflects a different school of philosophical thought. Everyone has serious problems, no one generally accepts it, and no reconciliation seems feasible.
The early definition of mathematical logic is Benjamin Peirce's Science of Drawing Inevitable Conclusions (1870). Put forward a philosophical program called logicism, trying to prove that all mathematical concepts, statements and principles can be defined and proved by symbolic logic. The logical definition of mathematics is Russell's "All mathematics is symbolic logic" (1903).
The definition of intuitionism comes from mathematician L. E. J. Brouwer, who equates mathematics with some psychological phenomena. An example of the definition of intuitionism is that "mathematics is a psychological activity constructed one after another". Intuitionism is characterized by rejecting some mathematical ideas that are considered effective according to other definitions.
In particular, although other mathematical philosophies allow objects that can be proved to exist, even if they cannot be constructed, intuitionism only allows mathematical objects that can actually be constructed.
- Previous article:What's the date of July 6th in the lunar calendar in 2020?
- Next article:Write ancient poems about rain and solar terms
- Related articles
- What is the date of the lunar calendar?
- Who are the people who have many solar terms in China?
- When will the corn ripen? What is the sign of corn maturity?
- What month is early spring?
- Why did I feel uncomfortable two days before I changed the solar terms?
- Brief introduction of cold dew solar terms
- What happened to the sacrifice of Wuxi police in a car accident during the pursuit?
- Why does beginning of autumn eat Qizhen Dan? What is Seven Zhen Dan?
- Is it necessary to change the throttle to the original factory?
- What vegetables do you grow in Tomb-Sweeping Day?