L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics

[Ruitenburg, Wim]

Patrik Eklund peklund at cs.umu.se wrote on Sun Mar 5 02:09:26 EST 2023:

> Is it time to finally separate mathematics from computer science, and I 
> would be happy if computer science takes all results produced by Gödel, 
> Turing and Church completely to the side of Computer Science, and 
> mathematicians will be happy at least with Hilbert and maybe also 
> Kleene. We will go back 100 years and restart from there. It's time to 
> do so. We never did.

We may argue about these stated claims of `ownership' by CS of the results by
G, T, and C. However, contrary to the claim that `we never did', it is a solid fact
that some of us are going back 100 years and restart from there with what is the
logic of constructive mathematics. No, it is not intuitionistic logic. Follow link
        https://www.mscsnet.mu.edu/~wim/publica/220111_PrfInt_BaLo_BQD.pdf

Wim Ruitenburg