rdfs:comment
| - هارفي فريدمان (بالإنجليزية: Harvey Friedman) هو رياضياتي أمريكي، ولد في 23 سبتمبر 1948 في شيكاغو في الولايات المتحدة. (ar)
- Harvey Martin Friedman (* 23. September 1948 in Chicago, Illinois) ist ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik und den Grundlagen der Mathematik beschäftigt. (de)
- Harvey Friedman (born 23 September 1948) 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". Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity". (en)
- Harvey Friedman (23 septembre 1948) est un mathématicien logicien à l'université d'État de l'Ohio. Il est particulièrement connu pour ses travaux de mathématiques à rebours : un projet pour « remonter aux axiomes » à partir des théorèmes principaux des mathématiques. Ces dernières années, il travaille sur un projet de livre qui regroupe l'ensemble de ses recherches, intitulé Boolean Relation Theory, afin de démontrer la nécessité des axiomes de grands cardinaux pour la démonstration de certaines propositions. Son frère Sy Friedman est également logicien. (fr)
- Harvey Martin Friedman (23 de setembro de 1948) é um matemático (ramo da lógica simbólica) da Universidade do Estado de Ohio (Ohio State University) em Columbus, Ohio. É conhecido especialmente por seu trabalho em , um projecto destinado a derivar os axiomas da matemática a partir de teoremas considerados necessários. Nos últimos anos este tem avançado com um estudo da Teoria das relações booleanas, que tenta justificar grandes axiomas cardinais, pela demonstração de sua necessidade para derivar certas proposições consideradas "concretas" . Friedman é irmão do matemático Sy Friedman. (pt)
|