Harvey Friedman

Harvey Friedman is a mathematical logician with the Université of Ohio. It is particularly known for its work of reversed mathematics: a project to reverse the axioms of the principal theorems of mathematics. These last years he works on the Boolean theory of the relation in order to show the need for the axioms on the cardinal numbers to reverse certain proposals of them.

Harvey Friedman is doctor of philosophy, doctorate which it obtained with his thesis on the subsystems of the analysis on which it worked with Gerald Sacks.

External bonds

Page of Harvey Friedman on the site of the University of Ohio

Random links: