He does call for a radical reformulation of which math to study, as he wants to avoid some issues of arithmetic, infinity, and incompleteness. Maybe his discre

He does call for a radical reformulation of which math to study, as he wants to avoid some issues of arithmetic, infinity, and incompleteness. Maybe his discrete, computable mathematics (which is merely alluded to) is the temporary step back we need to move forward again. Although removing the continuum from QM seems questionable. AFAIK (which isn’t much) continuous change is a feature of QM. It’s one reason quantum computation has an advantage. No 0 or 1, but a continuous range of states somehow.