Property |
Value |
dbo: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)
- 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)
|
dbo:isPartOf
| |
dbo:namedAfter
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 8304 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1936 (xsd:integer)
- 1982 (xsd:integer)
- 1994 (xsd:integer)
- 1995 (xsd:integer)
|
prop-fr:auteursOuvrage
|
- Peter Clote, Jeffrey Remmel (fr)
- Peter Clote, Jeffrey Remmel (fr)
|
prop-fr:collection
|
- Progr. Comput. Sci. Appl. Logic (fr)
- Progr. Comput. Sci. Appl. Logic (fr)
|
prop-fr:doi
| |
prop-fr:id
|
- Reprinted with English translation in volume 1 of his collected works. (fr)
- 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)
- The Journal of Symbolic Logic (fr)
- Math. Intelligencer (fr)
- Ergebinisse eines mathematischen Kolloquiums (fr)
|
prop-fr:lang
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
prop-fr:langue
| |
prop-fr:lieu
|
- Boston, MA (fr)
- Boston, MA (fr)
|
prop-fr:mr
| |
prop-fr:nom
|
- Buss (fr)
- Gödel (fr)
- Smoryński (fr)
- Buss (fr)
- Gödel (fr)
- Smoryński (fr)
|
prop-fr:numéro
|
- 3 (xsd:integer)
- 4 (xsd:integer)
|
prop-fr:pages
|
- 23 (xsd:integer)
- 57 (xsd:integer)
- 182 (xsd:integer)
- 737 (xsd:integer)
|
prop-fr:prénom
|
- C. (fr)
- Kurt (fr)
- Samuel R. (fr)
- 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)
- 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)
- On Gödel's theorems on lengths of proofs. II. Lower bounds for recognizing k symbol provability (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 4 (xsd:integer)
- 7 (xsd:integer)
- 13 (xsd:integer)
- 59 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Birkhäuser Boston (fr)
- Birkhäuser Boston (fr)
|
dct:subject
| |
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)
- 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)
|
rdfs:label
|
- Théorème d'accélération de Gödel (fr)
- ゲーデルの加速定理 (ja)
- Théorème d'accélération de Gödel (fr)
- ゲーデルの加速定理 (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |