Harvey Friedman

Harvey Friedman
Harvey Friedman

Harvey Friedman is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

From *.wikipedia.org,
General Info
.
Male
Date of Birth
September 23rd, 1948
Age
77
Birth Place
United States of America, Illinois
Star Sign
Virgo
Social Networks , Links
Interest
Loading Chart...
Relatives
Lists
    index: 1x 0.028708934783936s
fmsppl-page-output: 1x 0.023356199264526s
t_/pages/fms-person-json: 1x 0.023323059082031s
t_/blocks/person-card-json: 1x 0.014600038528442s
t_/common/header: 1x 0.0082070827484131s
headline: 7x 0.0077178478240967s
router_page: 1x 0.0047531127929688s
t_/common/head: 1x 0.0020849704742432s
head-facts: 1x 0.0020468235015869s
t_/common/footer: 1x 0.00029087066650391s
t_/common/searcher-result: 1x 1.6212463378906E-5s
----- END OF DUMP (2026-02-17 22:01:02)  -----