Harvey Friedman (original) (raw)
هارفي فريدمان (بالإنجليزية: Harvey Friedman) هو رياضياتي أمريكي، ولد في 23 سبتمبر 1948 في شيكاغو في الولايات المتحدة.
| Property | Value |
|---|---|
| dbo:abstract | هارفي فريدمان (بالإنجليزية: 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". Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Vising Scientist at IBM. He delivered the Tarski Lectures in 2007. In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy. He has also been a professor of mathematics and a professor of music. He officially retired in July 2012. In September 2013, he received an honorary doctorate from Ghent University. Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity". Friedman made headlines in the Italian newspaper La Repubblica for his manuscript A Divine Consistency Proof for Mathematics, which shows in detail how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof), it can be shown that mathematics, as formalized by the usual ZFC axioms, is consistent. Friedman is the brother of mathematician Sy Friedman. (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. Harvey Friedman a obtenu son Ph. D. en soutenant une thèse sur les sous-systèmes de l'analyse, sous la direction de Gerald Sacks. 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 obteve o doutorado no Instituto de Tecnologia de Massachusetts em 1967, com uma tese em Subsistemas de Análise. Seu orientador foi Gerald Sacks. Friedman recebeu o Alan T. Waterman Award em 1984. Conduziu as palestras Tarski em 2007. Em 1967 Friedman foi listado no Guinness Book of World Records por ser o mais jovem professor do mundo, quando ele ensinou na Universidade de Stanford aos 18 anos como um professor adjunto de filosofia. Ele também foi um professor de matemática e um professor de música. Friedman é irmão do matemático Sy Friedman. Foi palestrante convidado do Congresso Internacional de Matemáticos em Vancouver (1974 - Some systems of second order arithmetic and their use). (pt) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Harvey_Friedman.jpg?width=300 |
| dbo:wikiPageExternalLink | http://u.osu.edu/friedman.8/ https://books.google.com/books/about/Harvey_Friedman_s_Research_on_the_Founda.html%3Fid=2plPRR4LDxIC https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/1/1952/files/2014/01/ConMathThe122512-1iea8ps.pdf |
| dbo:wikiPageID | 3038108 (xsd:integer) |
| dbo:wikiPageLength | 4540 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118117234 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Reverse_mathematics dbc:Living_people dbr:Columbus,_Ohio dbr:Massachusetts_Institute_of_Technology dbr:Mathematical_logic dbr:Mathematics dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:Ghent_University dbr:Leo_Harrington dbr:Stanford_University dbr:Zermelo–Fraenkel_set_theory dbr:Friedman_translation dbr:Professor dbc:1948_births dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Ohio_State_University_faculty dbr:Gödel's_ontological_proof dbr:Large_cardinal dbr:Alan_T._Waterman_Award dbr:Gerald_Sacks dbr:Dissertation dbc:Set_theorists dbc:American_logicians dbr:La_Repubblica dbr:Sy_Friedman dbr:Assistant_professor dbr:Axiom dbr:Philosophy dbr:Ph.D. dbr:IBM dbr:Nautilus_(science_magazine) dbr:Ohio_State_University dbr:Tarski_Lectures dbr:Friedman's_grand_conjecture dbr:Guinness_Book_of_World_Records dbr:File:Harvey_Friedman.jpg |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:For dbt:Reflist dbt:Short_description dbt:MathGenealogy |
| dcterms:subject | dbc:Living_people dbc:Gödel_Lecturers dbc:Tarski_lecturers dbc:1948_births dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Ohio_State_University_faculty dbc:Set_theorists dbc:American_logicians |
| gold:hypernym | dbr:Logician |
| schema:sameAs | http://viaf.org/viaf/97827017 |
| rdf:type | owl:Thing dbo:Person yago:WikicatAmericanLogicians yago:WikicatAmericanMathematicians yago:WikicatAmericanPeople yago:WikicatAmericanPhilosophers yago:WikicatLivingPeople yago:WikicatSetTheorists yago:Adult109605289 yago:CausalAgent100007347 yago:Educator110045713 yago:Expert109617867 yago:Intellectual109621545 yago:Lector110252222 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:Professional110480253 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:Wikicat21st-centuryMathematicians yago:WikicatTarskiLecturers |
| 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) |
| rdfs:label | هارفي فريدمان (ar) Harvey Friedman (Mathematiker) (de) Harvey Friedman (en) Harvey Friedman (fr) Harvey Friedman (pt) |
| owl:sameAs | freebase:Harvey Friedman http://viaf.org/viaf/97827017 http://d-nb.info/gnd/138722684 https://dblp.org/pid/f/HarveyMFriedman wikidata:Harvey Friedman http://data.bibliotheken.nl/id/thes/p071485678 dbpedia-ar:Harvey Friedman http://arz.dbpedia.org/resource/هارفى_فريدمان dbpedia-de:Harvey Friedman dbpedia-fr:Harvey Friedman http://ht.dbpedia.org/resource/Harvey_Friedman dbpedia-pt:Harvey Friedman https://global.dbpedia.org/id/55zy3 yago-res:Harvey Friedman |
| prov:wasDerivedFrom | wikipedia-en:Harvey_Friedman?oldid=1118117234&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Harvey_Friedman.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Harvey_Friedman |
| is dbo:wikiPageDisambiguates of | dbr:Friedman |
| is dbo:wikiPageRedirects of | dbr:Harvey_M._Friedman |
| is dbo:wikiPageWikiLink of | dbr:Elementary_function_arithmetic dbr:Elementary_proof dbr:Determinacy dbr:Index_of_philosophy_articles_(D–H) dbr:List_of_logicians dbr:List_of_long_mathematical_proofs dbr:List_of_people_by_Erdős_number dbr:Computability_theory dbr:Timeline_of_mathematical_logic dbr:George_Boolos dbr:Friedman dbr:Friedman_translation dbr:Kruskal's_tree_theorem dbr:Steve_Simpson_(mathematician) dbr:Markov's_principle dbr:Disjunction_and_existence_properties dbr:Gödel's_ontological_proof dbr:Gödel's_speed-up_theorem dbr:Gödel_Lecture dbr:Alan_T._Waterman_Award dbr:Fermat's_Last_Theorem dbr:Gerald_Sacks dbr:Graham's_number dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:List_of_Jewish_mathematicians dbr:List_of_Ohio_State_University_people dbr:Proof_theory dbr:Tamás_Erdélyi_(mathematician) dbr:Large_numbers dbr:Sy_Friedman dbr:Axiom_schema_of_replacement dbr:Borel_determinacy_theorem dbr:Orders_of_magnitude_(numbers) dbr:Second-order_arithmetic dbr:List_of_statements_independent_of_ZFC dbr:Finite_promise_games_and_greedy_clique_sequences dbr:Finitism dbr:Silver's_dichotomy dbr:Stationary_set dbr:Tarski_Lectures dbr:Harvey_M._Friedman |
| is foaf:primaryTopic of | wikipedia-en:Harvey_Friedman |
