In mathematical logic, the Friedman translation is a technique for showing that the\\ Pi ^ 0--2 theorems of various first-order theories classical mathematics are also theorems of intuitionistic mathematics.
In mathematical logic, the Friedman translation is method of interpreting an intuitionistic theory in itself. Among other things it can be used to show that the\\ Pi ^ 0--2 theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics.