Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gxc3xb6dels_speed-up_theorem> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Gxc3xb6dels_speed-up_theorem abstract "In mathematics, Gödel's speed-up theorem, proved by Gödel (1936), shows that there are theorems whose proofs can be drastically shortened by working in more powerful axiomatic systems. Kurt Gödel showed how to find explicit examples of statements in formal systems that are provable in that system but whose shortest proof is absurdly long. For example, the statement:\"This statement cannot be proved in Peano arithmetic in fewer than a googolplex symbols\"is provable in Peano arithmetic (PA) but the shortest proof has at least a googolplex symbols, by an argument similar to the proof of Gödel's first incompleteness theorem: PA (if consistent) cannot prove the statement in fewer than a googolplex symbols, because the existence of such a proof would itself be a theorem of PA, that would contradict the statement which PA supposedly proved. But simply enumerating all strings of length up to a googolplex and checking that each such string is not a proof (in PA) of the statement, yields a proof of the statement that is necessarily longer than a googolplex symbols.The statement has a short proof in a more powerful system: in fact it is easily provable in Peano arithmetic together with the statement that Peano arithmetic is consistent (which, per the incompleteness theorem, cannot be proved in Peano arithmetic). In this argument, Peano arithmetic can be replaced by any more powerful consistent system, and a googolplex can be replaced by any number that can be described concisely in the system. Harvey Friedman found some explicit natural examples of this phenomenon, giving some explicit statements in Peano arithmetic and other formal systems whose shortest proofs are ridiculously long (Smoryński 1982).If one takes Peano arithmetic together with the negation of the statement above, one obtains an inconsistent theory whose shortest contradiction is ridiculously long.".
- Gxc3xb6dels_speed-up_theorem wikiPageExternalLink books?id=5ya4A0w62skC&pg=PA396.
- Gxc3xb6dels_speed-up_theorem wikiPageExternalLink 2275906.
- Gxc3xb6dels_speed-up_theorem wikiPageID "33111104".
- Gxc3xb6dels_speed-up_theorem wikiPageLength "3539".
- Gxc3xb6dels_speed-up_theorem wikiPageOutDegree "10".
- Gxc3xb6dels_speed-up_theorem wikiPageRevisionID "699822294".
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Blums_speedup_theorem.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Category:Proof_theory.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Category:Works_by_Kurt_Gödel.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Googolplex.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Harvey_Friedman.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Kurt_Gödel.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink List_of_long_mathematical_proofs.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Peano_axioms.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLinkText "Gödel's speed-up theorem".
- Gxc3xb6dels_speed-up_theorem wikiPageUsesTemplate Template:Citation.
- Gxc3xb6dels_speed-up_theorem wikiPageUsesTemplate Template:Harv.
- Gxc3xb6dels_speed-up_theorem wikiPageUsesTemplate Template:Harvs.
- Gxc3xb6dels_speed-up_theorem subject Category:Proof_theory.
- Gxc3xb6dels_speed-up_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_speed-up_theorem subject Category:Works_by_Kurt_Gödel.
- Gxc3xb6dels_speed-up_theorem hypernym Theorems.
- Gxc3xb6dels_speed-up_theorem type Diacritic.
- Gxc3xb6dels_speed-up_theorem type Proof.
- Gxc3xb6dels_speed-up_theorem type Redirect.
- Gxc3xb6dels_speed-up_theorem type Theorem.
- Gxc3xb6dels_speed-up_theorem comment "In mathematics, Gödel's speed-up theorem, proved by Gödel (1936), shows that there are theorems whose proofs can be drastically shortened by working in more powerful axiomatic systems. Kurt Gödel showed how to find explicit examples of statements in formal systems that are provable in that system but whose shortest proof is absurdly long.".
- Gxc3xb6dels_speed-up_theorem label "Gödel's speed-up theorem".
- Gxc3xb6dels_speed-up_theorem sameAs Q5626450.
- Gxc3xb6dels_speed-up_theorem sameAs Thxc3xa9orxc3xa8me_daccxc3xa9lxc3xa9ration_de_Gxc3xb6del.
- Gxc3xb6dels_speed-up_theorem sameAs ゲーデルの加速定理.
- Gxc3xb6dels_speed-up_theorem sameAs Teorema_da_Aceleração_de_Gödel.
- Gxc3xb6dels_speed-up_theorem sameAs m.0h63wpy.
- Gxc3xb6dels_speed-up_theorem sameAs Q5626450.
- Gxc3xb6dels_speed-up_theorem wasDerivedFrom Gxc3xb6dels_speed-up_theorem?oldid=699822294.
- Gxc3xb6dels_speed-up_theorem isPrimaryTopicOf Gxc3xb6dels_speed-up_theorem.