Meta AQC :D
Dank Vibes courtesy of sheeeeitbaked
Always circle jerking the "Further Disclosure".
WHERE'S THE FACE SHATTERING STUFF?!
All this ascension/ayy related stuff…
No one ever goes further into it.
:P
DO IT NERDS
https://www.philosophybasics.com/branch_intuitionism.html
Introduction | History of Intuitionism
Introduction Back to Top
Intuitionism (or Neo-Intuitionism) is the approach in Logic and Philosophy of Mathematics which takes mathematics to be the constructive mental activity of humans (as opposed to the Mathematical Realism view that mathematical truths are objective, and that mathematical entities exist independently of the human mind). Thus, it holds that logic and mathematics do not consist of analytic activities wherein deep properties of existence are revealed and applied, but rather they are the application of internally consistent methods to realize more complex mental constructs.
According to Intuitionism, the truth of a statement is equivalent to the mathematician being able to intuit the statement, and not necessarily to its provability. It requires the application of intuitionistic logic (or constructivist logic), which preserves justification, rather than truth, for derived propositions. Any mathematical object is considered to be the product of a construction of a mind, so that if it can be constructed then it exists. Intuitionism is therefore a variety of Mathematical Constructivism in that it asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists.
The intuitionist interpretation of negation also differs from classical logic. In classical logic, the negation of a statement asserts that the statement is false; under Intuitionism, negation means that the statement is refutable (i.e. that there is a proof that there is no proof of it).
Intuitionism is contrasted with Pre-Intuitionism and Mathematical Realism, which take the view that mathematical theorems have an existence and exactness independent of language and logic, and that the existence of an entity can be proved by refuting its non-existence.