Overview Edit

The repeatability of Gödel’s argument is shown, with the implication that TNT is not only incomplete, but "essentially incomplete". The fairly notorious argument by J. R. Lucas, to the effect that Gödel’s Theorem demonstrates that human thought cannot in any sense be "mechanical", is analyzed and found to be wanting.