Encyclopedia of Sciences and Religions

2013 Edition
| Editors: Anne L. C. Runehov, Lluis Oviedo

Mathematics, Formal and Contemporary

  • Javier Leach
Reference work entry
DOI: https://doi.org/10.1007/978-1-4020-8265-8_1272

Related Terms


One feature that characterizes this epoch of mathematics is the formalizationof mathematical language. The formalization had two important consequences, which influenced the global nature of mathematical and scientific knowledge.

The first consequence was the possibility to study the mathematical language with mathematical methods (Benacerraf and Putnam 1983). Just as mathematics proofs theorems about numbers, straight lines, planes, geometrical figures, and other mathematical objects, in this last epoch, mathematics has been able to proof theorems about the very language of mathematics and its meaning.

The second consequence of the formalization of mathematical language was the  automationof mathematical proofs. The automation of mathematics has brought the human mind next to the computer. Once formalized, the mathematical proofs can be translated into a programming language and be executed by computers.

Truth and Certainty in Formal Math

The formalization of...

This is a preview of subscription content, log in to check access.


  1. Benacerraf, P., & Putnam, H. (Eds.). (1983). Philosophy of mathematics: Selected readings (2nd ed.). Cambridge: Cambridge University Press.Google Scholar
  2. Casti, J. L., & DePauli, W. (2001). Gödel: A life of logic. Cambridge: Basic Books.Google Scholar
  3. Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, 345–363.Google Scholar
  4. Davis, M. (2000). The universal computer: The Road from Leibniz to Turing. New York: W.W. Norton.Google Scholar
  5. Hawking, S. (2005). God created the integers. Philadelphia: Running Press.Google Scholar
  6. Leach, J. (2010). Mathematics and Religion, Our Languages of Sign and Symbol. Templeton Science and Religion Series. Templeton Press.Google Scholar
  7. Salmon, N. (2005). Metaphysics, mathematics, and meaning. Oxford: Oxford University Press.Google Scholar
  8. Smith, P. (2007). An introduction to Godel’s theorems. Cambridge: Cambridge University Press.Google Scholar
  9. Turing, A. M. (1936–1937). On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society (Series 2), 42, 230–265.Google Scholar
  10. Tymozco, T. (Ed.). (1998). New directions in the philosophy of mathematics. Princeton: Princeton University Press.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Facultad de Informática, Departamento de Sistemas Informáticos y ProgramaciónComplutense University of MadridMadridSpain