4 ms·This is not that uncommon -- e.g., most proofs of the undecidability of the halting problem.by zeroxfe 10y agoThis is not that uncommon -- e.g., most proofs of the undecidability of the halting problem.