Recent advances are compatible with a long tradition with
contributions by Euclid, Dedekind, Frege, Russell, Church, Turing, von Neumann, etc.
The following article is in furtherance of the long tradition:
https://papers.ssrn.com/abstract=3603021
Can you suggest any improvements?
Recent advances are compatible with a long tradition with
contributions by Euclid, Dedekind, Frege, Russell, Church, Turing, von Neumann, etc.
The following article is in furtherance of the long tradition:
https://papers.ssrn.com/abstract=3603021