Mathematics, Formal and Contemporary
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...
- Benacerraf, P., & Putnam, H. (Eds.). (1983). Philosophy of mathematics: Selected readings (2nd ed.). Cambridge: Cambridge University Press.Google Scholar
- Casti, J. L., & DePauli, W. (2001). Gödel: A life of logic. Cambridge: Basic Books.Google Scholar
- Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, 345–363.Google Scholar
- Davis, M. (2000). The universal computer: The Road from Leibniz to Turing. New York: W.W. Norton.Google Scholar
- Hawking, S. (2005). God created the integers. Philadelphia: Running Press.Google Scholar
- Leach, J. (2010). Mathematics and Religion, Our Languages of Sign and Symbol. Templeton Science and Religion Series. Templeton Press.Google Scholar
- Salmon, N. (2005). Metaphysics, mathematics, and meaning. Oxford: Oxford University Press.Google Scholar
- Smith, P. (2007). An introduction to Godel’s theorems. Cambridge: Cambridge University Press.Google Scholar
- 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
- Tymozco, T. (Ed.). (1998). New directions in the philosophy of mathematics. Princeton: Princeton University Press.Google Scholar