| Attributes | Values |
|---|
| rdfs:label
| - Théorème d'accélération de Gödel (fr)
- ゲーデルの加速定理 (ja)
|
| rdfs:comment
| - En logique mathématique, le théorème d'accélération de Gödel (ou théorème de speed-up), démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes légèrement plus puissant. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:année
| |
| prop-fr:collection
| - Progr. Comput. Sci. Appl. Logic (fr)
|
| prop-fr:doi
| |
| prop-fr:id
| - Reprinted with English translation in volume 1 of his collected works. (fr)
|
| prop-fr:isbn
| |
| prop-fr:issn
| |
| prop-fr:journal
| - The Journal of Symbolic Logic (fr)
- Math. Intelligencer (fr)
- Ergebinisse eines mathematischen Kolloquiums (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:nom
| - Buss (fr)
- Gödel (fr)
- Smoryński (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:prénom
| - C. (fr)
- Kurt (fr)
- Samuel R. (fr)
|
| prop-fr:titre
| - The varieties of arboreal experience (fr)
- Feasible mathematics, II (fr)
- On Gödel's theorems on lengths of proofs. I. Number of lines and speedup for arithmetics (fr)
- Über die Länge von Beweisen (fr)
|
| prop-fr:titreChapitre
| - On Gödel's theorems on lengths of proofs. II. Lower bounds for recognizing k symbol provability (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:éditeur
| |
| prop-fr:auteursOuvrage
| - Peter Clote, Jeffrey Remmel (fr)
|
| prop-fr:mr
| |
| foaf:isPrimaryTopicOf
| |
| named after
| |
| has abstract
| - En logique mathématique, le théorème d'accélération de Gödel (ou théorème de speed-up), démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes légèrement plus puissant. (fr)
|
| is part of
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)