“…In particular, metamathematical investigations on the new theory and its consistency can be found in [66]. The methodology described here has been successfully applied in several areas of Mathematics and Computer Science: single and multiple criteria optimization (see [20,32,33,34,43,116]), cellular automata (see [29,30,31]), Euclidean and hyperbolic geometry (see [68,69]), percolation (see [56,57,110]), fractals (see [15,87,89,97,102,110]), infinite series and the Riemann zeta function (see [91,96,99,101,114]), the first Hilbert problem, Turing machines, and supertasks (see [81,93,103,104]), numerical differentiation and numerical solution of ordinary differential equations (see [2,74,95,98,105]), etc. Some of these applications will be discussed in the following pages.…”