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,
Información General
.
Hombre
Fecha de nacimiento
23 de septiembre, 1948
Edad
77
Lugar de nacimiento
United States of America, Illinois
Zodíaco
Virgo
Redes sociales , Enlaces
Interés
Loading Chart...
Parientes
Listas
    index: 1x 0.026038885116577s
fmsppl-page-output: 1x 0.024319171905518s
t_/pages/fms-person-json: 1x 0.024301052093506s
t_/blocks/person-card-json: 1x 0.017520189285278s
headline: 7x 0.01186203956604s
t_/common/header: 1x 0.0062329769134521s
router_page: 1x 0.0011610984802246s
t_/common/head: 1x 0.00053691864013672s
head-facts: 1x 0.00051498413085938s
t_/common/footer: 1x 0.00034999847412109s
t_/common/searcher-result: 1x 1.7166137695312E-5s
----- END OF DUMP (2026-01-28 18:45:01)  -----