| http://dbpedia.org/ontology/abstract
|
In mathematical logic, the Friedman transl … In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas. Among other things it can be used to show that the Π02-theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics. It is named after its discoverer, Harvey Friedman.med after its discoverer, Harvey Friedman.
|
| http://dbpedia.org/ontology/wikiPageID
|
21775342
|
| http://dbpedia.org/ontology/wikiPageLength
|
2682
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1051449425
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Proof_theory +
, http://dbpedia.org/resource/Heyting_arithmetic +
, http://dbpedia.org/resource/Harvey_Friedman +
, http://dbpedia.org/resource/Free_variable +
, http://dbpedia.org/resource/Bound_variable +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Classical_logic +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Markov_rule +
, http://dbpedia.org/resource/G%C3%B6del%E2%80%93Gentzen_negative_translation +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/First-order_theories +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Conservative_extension +
, http://dbpedia.org/resource/Well-formed_formula +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:= +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Proof_theory +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Transformation +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Friedman_translation?oldid=1051449425&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Friedman_translation +
|
| owl:sameAs |
http://dbpedia.org/resource/Friedman_translation +
, https://global.dbpedia.org/id/4k7ZX +
, http://rdf.freebase.com/ns/m.05mzgrt +
, http://www.wikidata.org/entity/Q5503698 +
|
| rdf:type |
http://dbpedia.org/ontology/ProgrammingLanguage +
|
| rdfs:comment |
In mathematical logic, the Friedman transl … In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas. Among other things it can be used to show that the Π02-theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics. It is named after its discoverer, Harvey Friedman.med after its discoverer, Harvey Friedman.
|
| rdfs:label |
Friedman translation
|
