| http://dbpedia.org/ontology/abstract
|
In proof theory, the Dialectica interpreta … In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic. The name of the interpretation comes from the journal Dialectica, where Gödel's paper was published in a 1958 special issue dedicated to Paul Bernays on his 70th birthday.ated to Paul Bernays on his 70th birthday.
, Em teoria da prova, a Interpretação Dialec … Em teoria da prova, a Interpretação Dialectica é uma interpretação de prova da aritmética intuicionística (Aritmética de Heyting) em uma extensão de tipos finitos da aritmética primitiva recursiva, o chamado Sistema T. Foi desenvolvida por Kurt Gödel para fornecer uma prova de consistência da aritmética. O nome da interpretação vem do periódico Dialectica, onde o trabalho de Gödel foi publicado em uma edição especial dedicada a Paul Bernays em seu 70º aniversário.ada a Paul Bernays em seu 70º aniversário.
|
| http://dbpedia.org/ontology/wikiPageID
|
16974776
|
| http://dbpedia.org/ontology/wikiPageLength
|
8066
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1113820112
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorem +
, http://dbpedia.org/resource/Category:Intuitionism +
, http://dbpedia.org/resource/Markov%27s_principle +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Category:1958_introductions +
, http://dbpedia.org/resource/Weak_K%C3%B6nig%27s_lemma +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Joseph_R._Shoenfield +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Primitive_recursive_functional +
, http://dbpedia.org/resource/Dialectica +
, http://dbpedia.org/resource/Consistency +
, http://dbpedia.org/resource/Higher-order_function +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/G%C3%B6del%E2%80%93Gentzen_negative_translation +
, http://dbpedia.org/resource/Finitism +
, http://dbpedia.org/resource/Consistency_proof +
, http://dbpedia.org/resource/Independence_of_premise +
, http://dbpedia.org/resource/Affine_logic +
, http://dbpedia.org/resource/Category:Proof_theory +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Heyting_arithmetic +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Linear_logic +
, http://dbpedia.org/resource/Jean-Yves_Girard +
, http://dbpedia.org/resource/Bar_recursion +
, http://dbpedia.org/resource/Paul_Bernays +
, http://dbpedia.org/resource/Dialectica_spaces +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cn +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Intuitionism +
, http://dbpedia.org/resource/Category:1958_introductions +
, http://dbpedia.org/resource/Category:Proof_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Interpretation +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Dialectica_interpretation?oldid=1113820112&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Dialectica_interpretation +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q5270518 +
, http://pt.dbpedia.org/resource/Interpreta%C3%A7%C3%A3o_Dialectica +
, http://rdf.freebase.com/ns/m.04142lt +
, https://global.dbpedia.org/id/4ioVt +
, http://dbpedia.org/resource/Dialectica_interpretation +
|
| rdf:type |
http://dbpedia.org/ontology/Work +
|
| rdfs:comment |
In proof theory, the Dialectica interpreta … In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic. The name of the interpretation comes from the journal Dialectica, where Gödel's paper was published in a 1958 special issue dedicated to Paul Bernays on his 70th birthday.ated to Paul Bernays on his 70th birthday.
, Em teoria da prova, a Interpretação Dialec … Em teoria da prova, a Interpretação Dialectica é uma interpretação de prova da aritmética intuicionística (Aritmética de Heyting) em uma extensão de tipos finitos da aritmética primitiva recursiva, o chamado Sistema T. Foi desenvolvida por Kurt Gödel para fornecer uma prova de consistência da aritmética. O nome da interpretação vem do periódico Dialectica, onde o trabalho de Gödel foi publicado em uma edição especial dedicada a Paul Bernays em seu 70º aniversário.ada a Paul Bernays em seu 70º aniversário.
|
| rdfs:label |
Interpretação Dialectica
, Dialectica interpretation
|
