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.

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
  • 7992709 (xsd:integer)
dbo:wikiPageLength
  • 8304 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 178896394 (xsd:integer)
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
  • 10.230700 (xsd:double)
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
  • 978 (xsd:integer)
prop-fr:issn
  • 22 (xsd:integer)
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
  • German (fr)
  • German (fr)
prop-fr:lieu
  • Boston, MA (fr)
  • Boston, MA (fr)
prop-fr:mr
  • 685558 (xsd:integer)
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