MATH: So to unite computational (existential) and set (ideal) mathematics we nee

MATH: So to unite computational (existential) and set (ideal) mathematics we need to reform mainstream mathematics. For example, i, is function necessary to compensate for (convert) our standard of logical and relative rather than operational and absolute mathematics. That’s all. https://twitter.com/curtdoolittle/status/1343275052532461572