Masha

“Instead of proving all possible theorems in an axiomatic system (which Kurt Gödel showed is not possible), professional mathematicians continue to use a formal presentation of mathematics to specify and prove many theorems that are amenable to the formalist paradigm. This has generated a vast corpus of formal theory.
Controversies continue unresolved. Some mathematicians continue to insist on giving explicit constructions of mathematical entities, and do not allow proof by contradiction. This is a valid approach in its own right with much to recommend it. In the end, however, the choice that is likely to lead to the greater conquests is the one that offers the greater power and at the moment, it is David Hilbert's formalism that continues to predominate, while steadily being expanded as mathematics expands."

-David Tall (2013, p. 246) thinks though Formalism (mathematics) may have Lost the Battle it Still may Win the War.”
― David Tall, How Humans Learn to Think Mathematically: Exploring The Three Worlds Of Mathematics

“Everyone is the other and no one is himself.”
― Martin Heidegger, Being and Time

“Seventy years of communism had destroyed the work ethic of an entire nation. Millions of Russians had been sent to the gulags for showing the slightest hint of personal initiative. The Soviets severely penalized independent thinkers, so the natural self-preservation reaction was to do as little as possible and hope that nobody would notice you.”
― Bill Browder, Red Notice: How I Became Putin's No. 1 Enemy

“Let us, in our character of knowers, not be ungrateful towards such determined reversals of the ordinary perspectives and values, with which the mind had for too long raged against itself with an apparently futile sacrilege! In the same way the very seeing of another vista, the very wishing to see another vista, is no little training and preparation of the intellect for its eternal "Objectivity" — objectivity being understood not as "contemplation without interest" (for that is inconceivable and nonsensical), but as the ability to have the pros and cons in one's power and to switch them on and off, so as to get to know how to utilise, for the advancement of knowledge, the difference in the perspective and in the emotional interpretations. But let us, forsooth, my philosophic colleagues, henceforward guard ourselves more carefully against this mythology of dangerous ancient ideas, which has set up a "pure, will-less, painless, timeless subject of knowledge"; let us guard ourselves from the tentacles of such contradictory ideas as "pure reason," "absolute spirituality," "knowledge-in-itself": — in these theories an eye that cannot be thought of is required to think, an eye which ex hypothesi has no direction at all, an eye in which the active and interpreting functions are cramped, are absent; those functions, I say, by means of which "abstract" seeing first became seeing something; in these theories consequently the absurd and the nonsensical is always demanded of the eye. There is only a seeing from a perspective, only a "knowing" from a perspective, and the more emotions we express over a thing, the more eyes, different eyes, we train on the same thing, the more complete will be our "idea" of that thing, our "objectivity." But the elimination of the will altogether, the switching off of the emotions all and sundry, granted that we could do so, what! would not that be called intellectual castration?”
― Friedrich Nietzsche, On the Genealogy of Morals