Mathematics of 21st Century: A Personal View
Keyword(s):
New Type
◽
In this talk, we will exemplify the spirit of a new type of mathematics by a report on the Theorema system being developed in the speaker's research group. Theorema is both a logic and a software frame for doing mathematics in the way sketched above. On the object level, Theorema allows to prove and program within the same logical frame and, on the meta-level, it allows to formulate reasoning techniques that help proving and programming on the object level. In particular, we will show how this type of doing mathematics allows to mimic the invention process behind the speaker’s theory of Gröbner bases, which provides a general method for dealing with multivariate nonlinear polynomial systems.