Robert M. Solovay

Robert M. Solovay

Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt.

Robert M. Solovay

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. 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 ohne das Auswahlaxiom ist.[1] (womit die Notwendigkeit des Auswahlaxioms in Vitalis Beweis der Unlösbarkeit des Maßproblems gezeigt war).

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.

1971 zeigte er mit Stanley Tennenbaum die Unabhängigkeit der Suslin-Hypothese von den Zermelo-Fraenkel-Axiomen.[2].

1975 zeigte er mit Theodore Baker und Robert Gill, dass relativierende Beweistechniken im P-NP-Problem nicht erfolgreich sein können.

Mit Volker Strassen entwickelte er 1977 den Solovay-Strassen-Primzahltest.[3]

Zu seinen Doktoranden zählt W. Hugh Woodin.

2003 erhielt er den Paris-Kanellakis-Preis.

Weblinks

Verweise

  1. Solovay: A model of set-theory in which every set of reals is Lebesgue measurable. In: Annals of Mathematics. Series 2, Band 92. 1970, S. 1–56.
  2. Solovay, S. Tennenbaum: Iterated Cohen extensions and Souslin's problem. In: Annals of Mathematics. Serie 2, Band 94. 1971, S. 201–245.
  3. Solovay, Strassen: A fast Monte-Carlo test for primality. In: SIAM Journal on Computing. Band 6. 1977, S. 84–85.

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Robert M. Solovay — Robert Solovay. Robert Martin Solovay est un mathématicien américain qui a travaillé en théorie des ensembles. Il a passé de nombreuses années en tant que professeur à l université de Californie à Berkeley. Parmi ses travaux les plus importants,… …   Wikipédia en Français

  • Robert M. Solovay — Robert Martin Solovay (1938 ndash; ) is a set theorist who spent many years as a professor at UC Berkeley. Among his most noted accomplishments are showing (relative to the existence of an inaccessible cardinal) that the statement every set of… …   Wikipedia

  • Robert Solovay — en 1972 Robert Martin Solovay est un mathématicien américain qui a travaillé en théorie des ensembles. Il a passé de nombreuses années en tant que professeur à l université de Californie à Berkeley. Parmi ses travaux les plus importants, on… …   Wikipédia en Français

  • Solovay–Strassen primality test — The Solovay–Strassen primality test, developed by Robert M. Solovay and Volker Strassen, is a probabilistic test to determine if a number is composite or probably prime. It has been largely superseded by the Miller–Rabin primality test, but has… …   Wikipedia

  • Solovay-Strassen-Test — Der Solovay Strassen Test (nach Robert M. Solovay und Volker Strassen) ist ein probabilistischer Primzahltest. Der Test prüft für eine ungerade Zahl n, ob sie prim oder zusammengesetzt ist. Im letzteren Fall liefert der Test jedoch im allgemeinen …   Deutsch Wikipedia

  • Test de primalite de Solovay-Strassen — Test de primalité de Solovay Strassen Le test de primalité de Solovay Strassen, dû à Robert M. Solovay et Volker Strassen, est un test probabiliste permettant de déterminer si un nombre impair est un nombre composé ou un nombre premier probable.… …   Wikipédia en Français

  • Test de primalité de solovay-strassen — Le test de primalité de Solovay Strassen, dû à Robert M. Solovay et Volker Strassen, est un test probabiliste permettant de déterminer si un nombre impair est un nombre composé ou un nombre premier probable. Les concepts Le mathématicien suisse… …   Wikipédia en Français

  • Test de primalité de Solovay-Strassen — Le test de primalité de Solovay Strassen, dû à Robert M. Solovay et Volker Strassen, est un test probabiliste permettant de déterminer si un nombre impair est un nombre composé ou un nombre premier probable. Les concepts Le mathématicien suisse… …   Wikipédia en Français

  • Tribu de Lebesgue — Un ensemble Lebesgue mesurable (qu on abrège souvent en mesurable) est une partie de l espace dont la mesure de Lebesgue peut être définie, le concept pouvant être étendu à toute variété différentiable M. On appelle tribu de Lebesgue l ensemble… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”