Parallels between Intuitionistic Mathematics and Neurophenomenology

What are the parallels between Intuitionistic Mathematics and Neurophenomenology, and their implications for how we conceptualize Computation? Inspired by AA Cavia’s recently published ‘Logiciel’ and work with the OREL Cognition Futures Reading Group, I hope to connect these foundational innovations in Mathematics and Cognitive Science to show a path toward an intentional, ethical, and suitably complex computational future. First an historical survey of the development of the two fields from the perspective of their initiators, LEJ Brouwer and Francisco Varela. Then a folding in of advancements beyond their founders, Martin-Löf and Homotopy Type Theory in the case of Intuitionism and the many facets and implementations of the enactive approach at work today for Neurophenomenology. Finally, some musings on a combined research program and what fruits it may bring.