[ged_throw_382]

That sounds a bit like the Gödelian argument against mechanism: reality (or even math) may contain systems that require stepping outside the current framework to formalize. A machine that can only work with current frameworks would be blind to these, except insofar that it can stumble across them by brute force.

[tsunamifury]

Seems easily provable as 1 does not contain information about blue. It’s useful but not complete.