In the basic propositions of the formalist school of mathematical philosophy, meta narratives, foundationalism, and absolutism constitute the ideological characteristics of modernity. The G ö del incompleteness theorem indicates that formal proof is insufficient for demonstrating mathematical truth, which constitutes the main reason for rejecting formalism. With the decline of foundational thinking, the holistic mathematical view of formalism has reached the end of its historical development.
Start Publishing
Join thousands of researchers who trust MedVista for their academic publishing needs. Fast peer review, global visibility.