However, it is through mathematics that we can translate abstractions into formal language, which in turn allows us to demonstrate that if we start from a true assumption and take the appropriate steps, we come to a true (or false) conclusion. But we must be very sure that the starting point is true (or false), otherwise we can not assure that what is proved is also true (or false).
WE LOOK FOR INSPIRATION IN OUR NATURE
We observe how nature acts and we use the capacity of abstraction to transfer to our physical-mathematical models those “laws” that have always been there, waiting to be interpreted. But we must try to make our translation as reliable as possible, and in each generation we approach reality more and more through our abstractions.
According to neurobiologists, the main feature that distinguishes us from the rest of the species is the size of the neocortex, and they point out from Ramón y Cajal that both the capacity for abstraction and the art of inventing are produced thanks to the intervention of these areas. To these advantages derived from the use of the neocortex we must add another one: the capacity to share, instead of competing. We believe that this should be the final essence and reason for our triumph in evolution, since that capacity can allow us to follow literally the laws of nature, self-regulation, sustainability, and balance, without harming other beings alive
But for this we must first have understood well how nature acts.