P.S. I think we need to go beyond pure intuitionism to get meaningful results, e.g., by limiting ourselves to feasible algorithms, see, e.g., http://www.cs.utep.edu/vladik/2020/tr20-06.pdf