intuitionists
Intuitionism is a school of thought in the philosophy of mathematics and logic that emphasizes the role of mental constructions in establishing mathematical truths. Founded by L.E.J. Brouwer in the early 20th century, intuitionism holds that mathematical objects and statements are meaningful only if they can be constructed or proven by a human mind. This contrasts with other mathematical philosophies that allow for the existence of mathematical entities independently of human comprehension.
A key principle of intuitionism is the rejection of the law of excluded middle, which states that
In intuitionistic logic, a proof of existence must provide a method for constructing the object in question,
Intuitionism has had a significant impact on the development of constructive mathematics and has influenced fields