5 ms·

If your claim is void (zero), you could put a bit more effort into elaborating that ;-)

• gizmo686 14y ago
  You state: "Gödel's 1931 Second Incompleteness Theorem insists that it is strictly forbidden to ever claim the truth of any scientific or mathematical statement" That claim is false, therefore, the truth of that claim is equivilent to the truth of 'false'. Becuase your article is true iff all of the statements within it are true, and your article contains a statement which is false, then your entire article is false. Using this, we can 'reduce' the 'proof' of your into assert(false). I suspect that the parent is using 0 as an alias for false. More generally, for any contemporary mathamatical proof, what you call a reduction, you can reduce the proof of the form you describe to either assert(true) xor assert(false), depending on what the mathametical proof/reduction shows.
  • eriksank 14y ago
    The claim follows trivially from Gödel's Incompleteness. Claiming the truth of a theory amounts to extending it with a statement about its consistency, automatically making the whole inconsistent.
  • monochromatic 14y ago
    using 0 as an alias for false Oops, my python roots are showing.