Diskuse:Goodsteinova posloupnost

wikifikovat

Pridal jsem sablonu wikifikovat. Duvody:

(1) hodnotice, neencyklopedicke POV poznamky, senzacechtivost: "Je na první pohled vidět", "doporucuji zkusit si.." "Co teprve v případě, že bychom se nedrželi při zdi a místo 21 začali například s 1021!" a tak dal

(2) I ten uvod neni uplne encyklopedicky, veta "Teprve s použitím transfinitní rekurze a výsledků ordinální aritmetiky je tato věta dokazatelná." zni jakoby "to byla absolutni pravda", ktera ale v Peanovi nejde dokazat. To je ale take POV. Proc proste nenapsat ze "Toto tvrzeni je dokazatelne v ZFC ale nerozhodnutelne v Peanove aritmeci a slouzi jako dukaz neekvivalentnosti techto dvou axiomatickych systemu"? -- Nezni to sice jako takova bomba, ale je to mnohem encyklopedictejsi a i pravdivejsi. Franp9am 13. 3. 2011, 12:42 (UTC)