Somebody should tell Philosophers about the Curry-Howard-Lambek isomorphism.
Because that's all there is to the Mathematical notion of "rigorous proof".
And the 'next step' in scaling up this process is the mission undertaken by the NuPRL project [1] well on our road towards internalising systems theory as the mode of scientific discourse [2]:
Starting with the slogan "proofs-as-programs," we now talk about "theories-as-systems."
Because that's all there is to the Mathematical notion of "rigorous proof".
And the 'next step' in scaling up this process is the mission undertaken by the NuPRL project [1] well on our road towards internalising systems theory as the mode of scientific discourse [2]:
1. http://nuprl.org/Intro/intro.html2. https://en.wikipedia.org/wiki/Systems_theory