User talk:5.91.38.231

December 2022
Hello, I'm Nick Levine. I wanted to let you know that one or more of your recent contributions&#32;to Gödel's incompleteness theorems have been undone because they did not appear constructive. If you would like to experiment, please use the sandbox. If you have any questions, you can ask for assistance at the Teahouse or the Help desk. Thanks. Nick Levine (talk) 03:52, 23 December 2022 (UTC)


 * Why my contributions do not appear constructive?
 * The article talks about the Godel theorem, the incompleteness and inconsistency of the Peano Arithmetic PA.
 * The Gentzen's consistency proof and other proofs put some limits to the range of applicability of the Godel theorem.
 * The original article on wikipedia give the false impression that the Godel incompleteness theorem is much more general than what it actually is.
 * Give a look to the Stanford Encyclopedia.
 * https://plato.stanford.edu/entries/goedel-incompleteness/
 * The Standford's page about the Goedel Incompleteness theorem talks about the Gentzen Consistency proof.
 * Do you think the Standford Encyclopedia is wrong?
 * Do you think the Standford Encyclopedia is not constructive?
 * Quote.
 * One important case is the principle of transfinite induction up to the ordinal called ε0. Gentzen showed that the consistency of PA can be proved if this transfinite induction principle is assumed. Therefore, because of the second incompleteness theorem, the principle itself cannot be provable in PA (Gentzen 1936). 5.91.38.231 (talk) 04:19, 23 December 2022 (UTC)


 * UPDATE. In the 1938 Godel did a speech about the relation between the Gentzen Proof and The Godel Incompleteness theorem.
 * This is know as no-counterexample Interpretation.
 * So this Godel contribution (no-counterexample Interpretation) is not contructive?
 * The original Wikipedia article does not say anything about the no-counterexample Interpretation.
 * This show it is seriously incomplete 5.91.38.231 (talk) 04:26, 23 December 2022 (UTC)

Please do not add original research or novel syntheses of published material to articles. Please cite a reliable source for all of your contributions. Thank you. 2601:19E:4180:6D50:65F5:930C:B0B2:CD63 (talk) 04:56, 23 December 2022 (UTC)