Constructivism/intuitionism seems to have culminated into modern-day finitism/ultrafinitism. In the likes of Doron Zeilberger (crank or genius - you decide). P

Constructivism/intuitionism seems to have culminated into modern-day finitism/ultrafinitism. In the likes of Doron Zeilberger (crank or genius - you decide). Par for the course for computer scientists - if we had infinite time/space we wouldn't have to optimise anything. This paper [1] by Ed Nelson presents a brilliant analysis on the difference between classical logicians and intuitionists. It starts with a crucial distinction in semantics. Assuming ∀x¬A and arriving at a contradiction not a proof for ∃xA. And yet, simply on the grounds of utility, the intuitionist perspective is far more useful to me as an every-day philosophy simply because "incomplete communications" is a mental model of how human systems/interactions work and how information flows in general. That which we call knowledge is socially constructed [2] and is always incomplete. [1] https://web.math.princeton.edu/~nelson/papers/int.pdf https://web.math.princeton.edu/~nelson/papers/int.pdf [2] https://en.wikipedia.org/wiki/Constructivist_epistemology https://en.wikipedia.org/wiki/Constructivist_epistemology