= Friedman translation
{wiki=Friedman_translation}
The term "Friedman translation" typically refers to the method of translating mathematical texts and concepts, particularly in the works of the logician and mathematician Harvey Friedman. This approach is often characterized by its focus on clarity, precision, and the maintenance of the original mathematical structure and intent. Friedman is known for his work in set theory, foundations of mathematics, and contributions to the field of proof theory.
Back to article page