Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Harvey_Friedman> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Harvey_Friedman abstract "Harvey Friedman (born 23 September 1948) is a 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 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 of 2012.Friedman is the brother of mathematician Sy Friedman.".
- Harvey_Friedman thumbnail Harvey_Friedman.jpg?width=300.
- Harvey_Friedman wikiPageExternalLink Harvey_Friedman_s_Research_on_the_Founda.html?id=2plPRR4LDxIC.
- Harvey_Friedman wikiPageExternalLink friedman.8.
- Harvey_Friedman wikiPageID "3038108".
- Harvey_Friedman wikiPageLength "2725".
- Harvey_Friedman wikiPageOutDegree "32".
- Harvey_Friedman wikiPageRevisionID "706126869".
- Harvey_Friedman wikiPageWikiLink Alan_T._Waterman_Award.
- Harvey_Friedman wikiPageWikiLink Assistant_professor.
- Harvey_Friedman wikiPageWikiLink Axiom.
- Harvey_Friedman wikiPageWikiLink Category:1940s_births.
- Harvey_Friedman wikiPageWikiLink Category:20th-century_American_mathematicians.
- Harvey_Friedman wikiPageWikiLink Category:21st-century_American_mathematicians.
- Harvey_Friedman wikiPageWikiLink Category:American_logicians.
- Harvey_Friedman wikiPageWikiLink Category:Guggenheim_Fellows.
- Harvey_Friedman wikiPageWikiLink Category:Living_people.
- Harvey_Friedman wikiPageWikiLink Category:Ohio_State_University_faculty.
- Harvey_Friedman wikiPageWikiLink Category:Set_theorists.
- Harvey_Friedman wikiPageWikiLink Category:Tarski_lecturers.
- Harvey_Friedman wikiPageWikiLink Category:Year_of_birth_uncertain.
- Harvey_Friedman wikiPageWikiLink Columbus,_Ohio.
- Harvey_Friedman wikiPageWikiLink Doctor_of_Philosophy.
- Harvey_Friedman wikiPageWikiLink Elementary_function_arithmetic.
- Harvey_Friedman wikiPageWikiLink Gerald_Sacks.
- Harvey_Friedman wikiPageWikiLink Guinness_World_Records.
- Harvey_Friedman wikiPageWikiLink Large_cardinal.
- Harvey_Friedman wikiPageWikiLink Leo_Harrington.
- Harvey_Friedman wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Harvey_Friedman wikiPageWikiLink Mathematical_logic.
- Harvey_Friedman wikiPageWikiLink Mathematics.
- Harvey_Friedman wikiPageWikiLink Ohio_State_University.
- Harvey_Friedman wikiPageWikiLink Philosophy.
- Harvey_Friedman wikiPageWikiLink Professor.
- Harvey_Friedman wikiPageWikiLink Reverse_mathematics.
- Harvey_Friedman wikiPageWikiLink Stanford_University.
- Harvey_Friedman wikiPageWikiLink Sy_Friedman.
- Harvey_Friedman wikiPageWikiLink Thesis.
- Harvey_Friedman wikiPageWikiLink File:Harvey_Friedman.jpg.
- Harvey_Friedman wikiPageWikiLinkText "Friedman".
- Harvey_Friedman wikiPageWikiLinkText "Friedman's".
- Harvey_Friedman wikiPageWikiLinkText "Friedman, Harvey".
- Harvey_Friedman wikiPageWikiLinkText "H. Friedman".
- Harvey_Friedman wikiPageWikiLinkText "Harvey Friedman".
- Harvey_Friedman wikiPageUsesTemplate Template:Authority_control.
- Harvey_Friedman wikiPageUsesTemplate Template:For.
- Harvey_Friedman wikiPageUsesTemplate Template:Ill-WD.
- Harvey_Friedman wikiPageUsesTemplate Template:MathGenealogy.
- Harvey_Friedman subject Category:1940s_births.
- Harvey_Friedman subject Category:20th-century_American_mathematicians.
- Harvey_Friedman subject Category:21st-century_American_mathematicians.
- Harvey_Friedman subject Category:American_logicians.
- Harvey_Friedman subject Category:Guggenheim_Fellows.
- Harvey_Friedman subject Category:Living_people.
- Harvey_Friedman subject Category:Ohio_State_University_faculty.
- Harvey_Friedman subject Category:Set_theorists.
- Harvey_Friedman subject Category:Tarski_lecturers.
- Harvey_Friedman subject Category:Year_of_birth_uncertain.
- Harvey_Friedman hypernym Logician.
- Harvey_Friedman type List.
- Harvey_Friedman type Person.
- Harvey_Friedman type Philosopher.
- Harvey_Friedman type Scientist.
- Harvey_Friedman type List.
- Harvey_Friedman type Mathematician.
- Harvey_Friedman type Philosopher.
- Harvey_Friedman type Scholar.
- Harvey_Friedman type Scientist.
- Harvey_Friedman type Thing.
- Harvey_Friedman comment "Harvey Friedman (born 23 September 1948) is a 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.".
- Harvey_Friedman label "Harvey Friedman".
- Harvey_Friedman sameAs Q951297.
- Harvey_Friedman sameAs Category:Harvey_Friedman.
- Harvey_Friedman sameAs Harvey_Friedman_(Mathematiker).
- Harvey_Friedman sameAs Harvey_Friedman.
- Harvey_Friedman sameAs Harvey_Friedman.
- Harvey_Friedman sameAs Harvey_Friedman.
- Harvey_Friedman sameAs m.08md94.
- Harvey_Friedman sameAs Q951297.
- Harvey_Friedman wasDerivedFrom Harvey_Friedman?oldid=706126869.
- Harvey_Friedman depiction Harvey_Friedman.jpg.
- Harvey_Friedman isPrimaryTopicOf Harvey_Friedman.