The weird and wonderful world of constructive mathematics (2017) [pdf]
Constructive mathematics is the way forward. It's connected to linear logic via Chu spaces [0] (<a href="https://arxiv.org/abs/1805.07518" rel="nofollow">https://arxiv.org/abs/1805.07518</a>). This correspondence is unreal as constructive mathematics / linear logic unlocks the door to several key advantages such as being closer to computation, probability theory, type theory, Lie groups, a generalized topology, optimization, “differentiable Turing machines”,  all the quantum shit, game theory etc the list goes on.<p>[0] <a href="https://en.wikipedia.org/wiki/Chu_space" rel="nofollow">https://en.wikipedia.org/wiki/Chu_space</a><p>Linear logic is fundamentally about formulating computation as an adversarial relationship between two parties. It's also the foundation of e.g. the Rust ownership system (I know, I know, affine types).<p>It's also the foundation of the min-max algorithm which in turn is the foundation of Generative adversarial neural networks.<p>Ironically, this idea isn't exactly new. It's directly related to Dialectics (<a href="https://en.wikipedia.org/wiki/Dialectic" rel="nofollow">https://en.wikipedia.org/wiki/Dialectic</a>) which has been present in Western philosophy since Aristotle through Kant, Hegel and Marx (it's a funny story).