Mathematics/ Logic

Mathematics can be defined as a science of calculation, the formalism itself being a logical calculation, which by definition unfolds along a temporal line devoid of contradictions. It is true, but a calculation cannot invent itself so what part of thought have invented the calculation and the formalism, and consequently their constant extensions which are simply called the progress of mathematics. Our postulate is that it would be the unconscious itself, neither temporal nor contradictory, that would be responsible of the progress of mathematics, or that would conceive the proofs within the existing formalism. In other words, mathematical intuition would be the unconscious.

What happens then when we take a fundamental theorem of mathematics to try to put it in its simple tautological form? We do not see the fully realized tautology appear, but rather the work of the unconscious as pure identifications. We are thus witnessing a system of correspondences, the very last of which, from the calculation to the real, is what founds mathematics as a science beyond a pure imaginary activity. To do this, one must explain that mathematics can only be a writing that reproduces an experiment on paper.