Property |
Value |
dbo:abstract
|
- 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 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)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthPlace
| |
dbo:citizenship
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:occupation
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2052 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- 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 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)
|
rdfs:label
|
- Harvey Friedman (fr)
- Harvey Friedman (en)
- Harvey Friedman (pt)
- هارفى فريدمان (arz)
- هارفي فريدمان (ar)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:starring
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:acteur
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |