• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Harvey Friedman     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatTarskiLecturers, within Data Space : dbpedia.org associated with source document(s)

Type: Thingpersonyago:WikicatAmericanLogiciansyago:WikicatAmericanMathematiciansyago:WikicatAmericanPeopleyago:WikicatAmericanPhilosophersyago:WikicatLivingPeopleyago:WikicatSetTheoristsyago:Adult109605289yago:CausalAgent100007347yago:Educator110045713yago:Expert109617867yago:Intellectual109621545yago:Lector110252222yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:Professional110480253yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Theorist110706812yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:Wikicat21st-centuryMathematiciansyago:WikicatTarskiLecturers New Facet based on Instances of this Class

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".