Published his work in intuitionistic logic, "On the principle of the excluded middle," in which he proved that under a certain interpretation, all statements of classical formal logic can be formulated as those of int
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event