Abstract
In 21st century, the dynamics of mathematics gains speed, energy, and sophistication by the application of mathematics to itself: The invention and verification process of mathematics itself can be supported by mathematical algorithms. In the talk, we will clarify the creative mechanics of self-application of mathematics and derive some consequences for mathemati-cal research, education, and application.
