This HTML5 document contains 202 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n27https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
n32http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n28http://azb.dbpedia.org/resource/
n26http://viaf.org/viaf/
n12http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
n31https://dblp.org/pid/46/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Robert_M._Solovay
rdf:type
dbo:Person dbo:Scientist yago:Scientist110560637 yago:PhysicalEntity100001930 wikidata:Q901 dbo:Eukaryote yago:Organism100004475 yago:Intellectual109621545 n15:NaturalPerson yago:Logician110269785 yago:Object100002684 yago:WikicatAmericanPeople owl:Thing yago:WikicatAmericanLogicians yago:Expert109617867 schema:Person yago:Person100007846 yago:WikicatLivingPeople yago:Theorist110706812 yago:WikicatAmericanMathematicians foaf:Person yago:WikicatPeopleFromBrooklyn wikidata:Q729 yago:WikicatSetTheorists yago:Wikicat20th-centuryMathematicians wikidata:Q5 dbo:Animal yago:CausalAgent100007347 yago:Whole100003553 yago:Mathematician110301261 yago:YagoLegalActor yago:YagoLegalActorGeo wikidata:Q215627 yago:LivingThing100004258 dbo:Species wikidata:Q19088
rdfs:label
Robert M. Solovay Роберт Соловей Robert Martin Solovay 로버트 솔로베이 Robert M. Solovay Соловей, Роберт Robert Solovay (wiskundige) Robert Solovay Robert M. Solovay Robert M. Solovay
rdfs:comment
Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory. Роберт Мартін Соловей (англ. Robert Martin Solovay; нар. 15 грудня 1938, Бруклін) — американський математик, що працює у сфері теорії множин, багато років посідав посаду професора в Каліфорнійському університеті у Берклі. Robert M. Solovay (ur. 1938 w Brooklynie) – amerykański matematyk specjalizujący się w logice matematycznej. Emerytowany profesor matematyki na Uniwersytecie Kalifornijskim w Berkeley. Znany głównie za wkład w teorię mnogości. Członek Amerykańskiej Akademii Sztuki i Nauki (ang. American Academy of Arts and Sciences). Doktoryzował się w 1964 na Uniwersytecie Chicagowskim pod kierunkiem Saundersa Mac Lane’a. Wypromował kilkunastu doktorów, wśród jego wychowanków są m.in. Matthew Foreman i William Woodin. Robert Martin Solovay, né le 15 décembre 1938 à Brooklyn (New York), est un mathématicien américain qui a travaillé en théorie des ensembles. Robert Martin Solovay (1938) is een Amerikaans wiskundige, die voornamelijk actief is de verzamelingenleer en de getaltheorie. Роберт Мартин Соловей (англ. Robert Martin Solovay; род. 15 декабря 1938, Бруклин) — американский математик, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли. Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин и Мэттью Форман. Robert Martin Solovay (nacido el 15 de diciembre de 1938) es un matemático estadounidense especializado en teoría de conjuntos. Robert Martin Solovay (Brooklyn, 15 de dezembro de 1938) é um matemático estadunidense. É especialista em teoria dos conjuntos. Solovay obteve o Ph.D. na Universidade de Chicago em 1964, orientado por Saunders Mac Lane, coma tese A Functorial Form of the Differentiable . Solovay dispendeu sua carreira na Universidade da Califórnia em Berkeley, onde seus mais notáveis alunos de doutorado foram William Hugh Woodin e Matthew Foreman. Dentre as realizações de Solovay estão: Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt. Solovay promovierte 1964 an der University of Chicago bei Saunders MacLane (A Functorial Form of the Differentiable Riemann-Roch-Theorem) und war dann 1964/65 als Post-Doc am Institute for Advanced Study. 1967 wurde er Sloan Research Fellow. Er war langjähriger Professor an der University of California, Berkeley. 1971 zeigte er mit Stanley Tennenbaum die Unabhängigkeit der Suslin-Hypothese von den Zermelo-Fraenkel-Axiomen. 로버트 마틴 솔로베이(영어: Robert Martin Solovay IPA: [ˈrɒbə(r)t ˈmɑː(r)tɪn ˈsoʊloʊveɪ], 1938–)는 미국의 수학자이다. 집합론에 공헌하였다.
foaf:name
Robert M. Solovay
dbp:name
Robert M. Solovay
foaf:depiction
n12:Robert_solovay.jpg
dbo:birthPlace
dbr:Brooklyn,_New_York
dbp:birthPlace
Brooklyn, New York, U.S.
dbo:birthDate
1938-12-15
dcterms:subject
dbc:Set_theorists dbc:American_logicians dbc:Members_of_the_United_States_National_Academy_of_Sciences dbc:Living_people dbc:1938_births dbc:20th-century_American_mathematicians
dbo:wikiPageID
3160110
dbo:wikiPageRevisionID
1099461527
dbo:wikiPageWikiLink
dbr:Measurable_cardinal dbr:Mathematics dbr:Prime_number dbr:Betül_Tanbay dbr:Riemann–Roch_theorem dbr:United_States dbr:Cardinality_of_the_continuum dbr:Quantum_gate dbr:Stanley_Tennenbaum dbr:Lebesgue_measurable dbr:Natural_number dbr:Singular_cardinal dbr:Mathematician dbr:Donald_A._Martin dbr:Set_theory dbr:Martin's_axiom dbr:Peano_Arithmetic dbr:Axiom_of_choice dbc:Set_theorists dbr:Zero_sharp dbr:Strongly_compact_cardinal dbr:Martin's_Axiom dbr:Cryptography dbr:Inaccessible_cardinal dbr:Qubit dbc:American_logicians dbr:Stationary_set dbr:Paris_Kanellakis_Award dbr:P_versus_NP_problem dbr:Unitary_operator dbr:Solovay–Strassen_primality_test dbr:Saunders_Mac_Lane dbr:Ph.D. dbr:University_of_Chicago dbr:Solovay_model dbr:Solovay's_theorem dbr:Real_number dbr:Suslin's_hypothesis dbr:Probability dbc:Living_people dbr:Alexei_Kitaev dbr:Brooklyn,_New_York dbc:Members_of_the_United_States_National_Academy_of_Sciences dbc:1938_births dbr:Volker_Strassen dbr:Zermelo–Fraenkel_set_theory dbr:Set_(mathematics) dbr:W._Hugh_Woodin dbr:Equiconsistency dbr:Matthew_Foreman dbr:Solovay–Kitaev_theorem dbr:Provability_logic dbr:Normal_modal_logic dbr:University_of_California,_Berkeley dbr:Judith_Roitman dbc:20th-century_American_mathematicians
owl:sameAs
dbpedia-fr:Robert_Solovay dbpedia-pl:Robert_M._Solovay wikidata:Q1395607 dbpedia-pt:Robert_Martin_Solovay dbpedia-uk:Роберт_Соловей dbpedia-es:Robert_M._Solovay dbpedia-fa:رابرت_سولوی dbpedia-de:Robert_M._Solovay dbpedia-ko:로버트_솔로베이 n26:19458568 n27:PdyN n28:رابرت_سولوی yago-res:Robert_M._Solovay freebase:m.08w7z9 n31:4459 n32:روبيرت_ام._سولوڤاى dbpedia-nl:Robert_Solovay_(wiskundige) dbpedia-ru:Соловей,_Роберт
dbp:workplaces
dbr:University_of_California,_Berkeley
dbp:wikiPageUsesTemplate
dbt:Small dbt:Cite_journal dbt:Authority_control dbt:DBLP dbt:Infobox_scientist dbt:Reflist dbt:MathGenealogy dbt:Kanellakis_Award_laureates dbt:Redirect dbt:Birth_date_and_age
dbo:thumbnail
n12:Robert_solovay.jpg?width=300
dbp:almaMater
dbr:University_of_Chicago
dbp:awards
Paris Kanellakis Award
dbp:birthDate
1938-12-15
dbp:caption
Robert Solovay in 1983
dbp:fields
dbr:Mathematics
dbp:imageSize
200
dbp:knownFor
dbr:Zero_sharp dbr:Martin's_axiom dbr:Solovay–Strassen_primality_test dbr:Solovay_model dbr:Solovay–Kitaev_theorem
dbp:nationality
dbr:United_States
dbo:abstract
Robert Martin Solovay (1938) is een Amerikaans wiskundige, die voornamelijk actief is de verzamelingenleer en de getaltheorie. Robert Martin Solovay (Brooklyn, 15 de dezembro de 1938) é um matemático estadunidense. É especialista em teoria dos conjuntos. Solovay obteve o Ph.D. na Universidade de Chicago em 1964, orientado por Saunders Mac Lane, coma tese A Functorial Form of the Differentiable . Solovay dispendeu sua carreira na Universidade da Califórnia em Berkeley, onde seus mais notáveis alunos de doutorado foram William Hugh Woodin e Matthew Foreman. Dentre as realizações de Solovay estão: * O , mostrando que se é assumida a existência de um cardinal inacessível, então a afirmativa "todo conjunto de números reais é Lebesgue mensurável" é consistente com os axiomas de Zermelo-Fraenkel sem o axioma da escolha; * Prova que se é um cardinal regular incontável, e é um conjunto estacionário, então pode ser decomposto na união de conjuntos estacionariamente disjuntos. Robert Martin Solovay, né le 15 décembre 1938 à Brooklyn (New York), est un mathématicien américain qui a travaillé en théorie des ensembles. Роберт Мартін Соловей (англ. Robert Martin Solovay; нар. 15 грудня 1938, Бруклін) — американський математик, що працює у сфері теорії множин, багато років посідав посаду професора в Каліфорнійському університеті у Берклі. Robert Martin Solovay (nacido el 15 de diciembre de 1938) es un matemático estadounidense especializado en teoría de conjuntos. Роберт Мартин Соловей (англ. Robert Martin Solovay; род. 15 декабря 1938, Бруклин) — американский математик, работающий в области теории множеств, много лет занимал должность профессора в Калифорнийском университете в Беркли. Получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, защитив диссертацию на тему «Функториальная форма дифференцирующей теоремы Римана — Роха». Известные ученики — Хью Вудин и Мэттью Форман. Robert M. Solovay (ur. 1938 w Brooklynie) – amerykański matematyk specjalizujący się w logice matematycznej. Emerytowany profesor matematyki na Uniwersytecie Kalifornijskim w Berkeley. Znany głównie za wkład w teorię mnogości. Członek Amerykańskiej Akademii Sztuki i Nauki (ang. American Academy of Arts and Sciences). Doktoryzował się w 1964 na Uniwersytecie Chicagowskim pod kierunkiem Saundersa Mac Lane’a. Wypromował kilkunastu doktorów, wśród jego wychowanków są m.in. Matthew Foreman i William Woodin. 로버트 마틴 솔로베이(영어: Robert Martin Solovay IPA: [ˈrɒbə(r)t ˈmɑː(r)tɪn ˈsoʊloʊveɪ], 1938–)는 미국의 수학자이다. 집합론에 공헌하였다. Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory. Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt. Solovay promovierte 1964 an der University of Chicago bei Saunders MacLane (A Functorial Form of the Differentiable Riemann-Roch-Theorem) und war dann 1964/65 als Post-Doc am Institute for Advanced Study. 1967 wurde er Sloan Research Fellow. Er war langjähriger Professor an der University of California, Berkeley. Solovay lieferte wichtige Beiträge zur axiomatischen Mengenlehre. Beispielsweise zeigte er 1970, dass der Satz Jede Menge reeller Zahlen ist Lebesgue-messbar konsistent mit der Zermelo-Fraenkel-Mengenlehre (ZF) ohne das Auswahlaxiom (C) ist. Dazu konstruierte er ein Modell (Solovay-Modell) der ZF-Mengenlehre (ohne das Auswahlaxiom), in dem alle Untermengen der reellen Zahlen Lebesgue-meßbar sind. Das Modell basierte allerdings auf der Existenz einer unerreichbaren Kardinalzahl, was innerhalb ZFC nicht beweisbar ist. Für den Beweis der Existenz nicht-Lebesgue-meßbarer Mengen ist damit das Auswahlaxiom nötig. Damit war auch die Notwendigkeit des Auswahlaxioms in Vitalis Beweis der Unlösbarkeit des Maßproblems gezeigt. Solovay war wesentlich am Ausbau und der Vereinfachung der Forcing-Methode von Paul Cohen kurz nach dessen Einführung 1963 beteiligt. 1967 führte er unabhängig von Dana Scott boole-wertige Modelle der Mengenlehre ein, was eine Vereinfachung des Beweises von Cohen über die Unabhängigkeit der Kontinuumshypothese ermöglichte. Mit Azriel Levy zeigte er 1967, dass messbare Kardinalzahlen ihre Eigenschaften auch bei milden Forcing-Erweiterungen behalten. Diese Resultate trugen zur Überzeugung bei, das die einfache Hinzunahme von Axiomen großer Kardinalzahlen zur Zermelo-Fraenkel-Mengenlehre die Kontinuumshypothese nicht entscheiden könne. 1971 zeigte er mit Stanley Tennenbaum die Unabhängigkeit der Suslin-Hypothese von den Zermelo-Fraenkel-Axiomen. 1975 zeigte er mit und John Gill, dass relativierende Beweistechniken im P-NP-Problem nicht erfolgreich sein können. Mit Volker Strassen entwickelte er 1977 den Solovay-Strassen-Primzahltest. Zu seinen Doktoranden zählen W. Hugh Woodin, Matthew Foreman und Judith Roitman. 1994 wählte man ihn in die American Academy of Arts and Sciences und er ist seit 1986 Mitglied der National Academy of Sciences. 2003 erhielt er den Paris-Kanellakis-Preis.
dbp:doctoralAdvisor
dbr:Saunders_Mac_Lane
dbp:doctoralStudents
dbr:Judith_Roitman dbr:W._Hugh_Woodin dbr:Matthew_Foreman dbr:Betül_Tanbay
dbo:doctoralAdvisor
dbr:Saunders_Mac_Lane
dbo:doctoralStudent
dbr:Judith_Roitman dbr:Betül_Tanbay dbr:Matthew_Foreman dbr:W._Hugh_Woodin
dbo:institution
dbr:University_of_California,_Berkeley
schema:sameAs
n26:19458568
prov:wasDerivedFrom
wikipedia-en:Robert_M._Solovay?oldid=1099461527&ns=0
dbo:wikiPageLength
5460
dbo:academicDiscipline
dbr:Mathematics
dbo:almaMater
dbr:University_of_Chicago
dbo:award
dbr:Paris_Kanellakis_Award
dbo:knownFor
dbr:Zero_sharp dbr:Solovay_model dbr:Solovay–Kitaev_theorem dbr:Martin's_axiom dbr:Solovay–Strassen_primality_test
dbo:nationality
dbr:United_States
foaf:isPrimaryTopicOf
wikipedia-en:Robert_M._Solovay