HBZHacking Truth-Tables for an Intuitionistic Semantics on Programming Languages´ Logical OperatorsFor pretty much the entirety of mainstream programming, the logical operations (and, or, and not) have exclusively dealt in Boolean…Oct 4, 20221
Taeer Bar-YamWhy I’m Not A PlatonistThe Unreasonable Effectiveness of Intuitionism in MathematicsJan 30, 2020Jan 30, 2020
Paul Austin MurphyinCantor’s ParadiseMathematical Intuitionism and Anti-Realism Compared and ContrastedMathematical intuitionism (which is a subset of mathematical constructivism) has it (or had it) that mathematics is purely the result of…Jan 26, 20213Jan 26, 20213
HBZHacking Truth-Tables for an Intuitionistic Semantics on Programming Languages´ Logical OperatorsFor pretty much the entirety of mainstream programming, the logical operations (and, or, and not) have exclusively dealt in Boolean…Oct 4, 20221
Taeer Bar-YamWhy I’m Not A PlatonistThe Unreasonable Effectiveness of Intuitionism in MathematicsJan 30, 2020
Paul Austin MurphyinCantor’s ParadiseMathematical Intuitionism and Anti-Realism Compared and ContrastedMathematical intuitionism (which is a subset of mathematical constructivism) has it (or had it) that mathematics is purely the result of…Jan 26, 20213
Paul Austin MurphyinCantor’s ParadiseR.L. Wilder’s Constructivist Account of Early 20th Century MathematicsThis is the second part of my account of Raymond Louis Wilder’s philosophical, historical and anthropological account of mathematics. I…Feb 13, 20212