“Mathematics, as a discipline created by human beings, has some ‘meaning’ with i

“Mathematics, as a discipline created by human beings, has some ‘meaning’ with it which cannot be reduced to mere sequence of logical symbols. We can understand mathematics not by transforming mathematical proofs into logical symbols and checking that there is no mistake applying logical rules, but by understanding the ‘meaning’ indicated by the theorems. Thus, the mental world of mathematics can also be explained by the function of metaphors, our brain’s inferring mechanism. This is the idea shared by G. Lakoff and R.E. Nunez”