On: Kurt Gödel and the Mechanization of Mathematics

[fipso_act]

This is nonsense. It's true; but nonsense nevertheless. Because it gives the misleading impression that you can only prove the consistency of a formal system using a "stronger" system. But that's quite wrong: it only needs to be a different formal system.

[ProfHewitt → fipso_act]

Of course, it isn't "nonsense"; instead simply the state of affairs ;-)