Friedman translation
http://dbpedia.org/resource/Friedman_translation an entity of type: ProgrammingLanguage
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.
rdf:langString
rdf:langString
Friedman translation
xsd:integer
21775342
xsd:integer
1051449425
rdf:langString
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.
xsd:nonNegativeInteger
2682