Ok, putting Gödel aside.

How many blocks do you need to realize discrete time is real?

Would you agree that the formalism breaks down *IF* time is discrete and quantized?

How do you propose we solve the unverifiable axiom of continuous time? Because that is the binary logical their entire discussion depends on.