Raphael Robinson

Raphael Robinson

Raphael Mitchel Robinson (* 2. November 1911 in National City, Kalifornien; † 27. Januar 1995 in Berkeley, Kalifornien) war ein US-amerikanischer mathematischer Logiker und Mathematiker.

Inhaltsverzeichnis

Leben

Raphael Robinson war das jüngste von vier Kindern einer Lehrerin und eines Anwalts, der die Familie aber früh verließ. Er studierte Mathematik an der Universität Berkeley mit dem Bachelor-Abschluss 1932, dem Master-Abschluss 1933 und der Promotion bei John McDonald ein Jahr später 1934 (Some results in the theory of schlicht functions). In der damaligen Depressionszeit fand er nur eine schlecht bezahlte Stelle als Instructor an der Brown University und machte harte Zeiten durch. 1937 besserte sich seine Situation, als er Instructor in Berkeley wurde. Dort lernte er auch 1939 seine spätere Frau Julia Robinson kennen, die seine Studentin war und später eine angesehene Logikerin wurde. Im Dezember 1941 heirateten sie. Robinson blieb in Berkeley für den Rest seiner Karriere, wurde dort 1949 Professor. Er war als guter Lehrer bekannt, ging aber 1973 frühzeitig in den Ruhestand. Das bedeutete zwar einen herben finanziellen Verlust; er konnte sich aber nun ganz der Forschung widmen. Seine Frau starb 1985. Robinson blieb bis ins hohe Alter mathematisch aktiv und veröffentlichte noch mit 83 Jahren. Er starb nach einem Schlaganfall.

Werk

Anfangs befasste er sich mit Funktionentheorie und Zahlentheorie und er gehörte nach dem Zweiten Weltkrieg zu denjenigen, die früh Computer für zahlentheoretische Zwecke einsetzten, so fand er einige neue Mersenne-Primzahlen.[1] Er schrieb hierzu in seinem Büro, ohne den Computer jemals gesehen zu haben, ein lauffähiges Programm für den SWAC (Standards Western Automatic Computer), das ohne Testung auf Anhieb fehlerfrei arbeitete.[2]

Robinson ist vor allem für Arbeiten in den Grundlagen der Mathematik bekannt. 1937 veröffentlichte er eine vereinfachte Version von John von Neumanns Axiomatisierung der Mengenlehre.[3] Er befasste sich auch mit rekursiven Funktionen und rekursiv aufzählbaren Mengen.

Er bewies die Unentscheidbarkeit einiger mathematischer Theorien und griff das Konzept der wesentlichen Unentscheidbarkeit von Alfred Tarski auf, der ab 1942 in Berkeley war und mit dem er ein Buch über Unentscheidbarkeit veröffentlichte. 1950 zeigte er, dass die Robinson Arithmetik, ein durch endlich viele Axiome darstellbarer Teil der Peano-Arithmetik (ohne Induktion), wesentlich unentscheidbar ist.[4] Er zeigte damit, dass wesentlich unentscheidbare Theorien keine unendliche Anzahl von Axiomen benötigen. In seinem Buch mit Tarski und Mostowski zeigte er die Unentscheidbarkeit weiterer mathematischer Theorien (Theorie der Verbände, Gruppentheorie, projektive Geometrie). Robinson befasste sich später mit der Frage der Entscheidbarkeit von Parkettierungsproblemen, ein Problemkreis, den ursprünglich Hao Wang initiierte.[5]

Seine Frau Julia Robinson war zwar auch Logikerin (sie promovierte bei Tarski) und arbeitete auf ähnlichen Gebieten, sie veröffentlichten aber nie zusammen.

Schriften

Weblinks

Einzelnachweise

  1. Proc. American Mathematical Society 1954
  2. Leo Corry: Hunting prime numbers from human to electronic computers. (pdf-Datei) S. 64
  3. Robinson: The theory of classes: a modification of von Neumann´s system, Journal of Symbolic Logic, Band 2, 1937, S. 29-36
  4. Robinson: An essentially undecidable axiom system, Proc. International Congress of Mathematicians, 1950, S. 729-730. Auch in dem Buch von 1953 mit Tarski und Mostowski dargestellt.
  5. Robinson: Undecidability and non periodicity of tilings in the plane, Inventiones Mathematicae, Band 12, 1971, S. 177-209. Undecidable tiling problems in the hyperbolic plane, Inventiones Matheamticae, Band 44, 1978, S. 259-264

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

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

  • Robinson (Name) — Robinson ist ein häufiger Familienname und seltener auch ein männlicher Vorname. Bedeutung Der Name ist patronymisch gebildet und bedeutet „Sohn des Robin“. Varianten Varianten sind Robson, Robeson, Robison und Robinsohn. Bekannte Namensträger… …   Deutsch Wikipedia

  • Raphael M. Robinson — Raphael Mitchel Robinson (November 2 1911, National City California January 27 1995. Berkeley California) was an American mathematician.Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He… …   Wikipedia

  • ROBINSON (J.) — Julia ROBINSON 1919 1985 Née le 8 décembre 1919 à Saint. Louis, dans le Missouri, Julia Robinson fut une logicienne éminente et la mathématicienne américaine la plus connue du XXe siècle. Épouse d’un mathématicien de grand talent, Raphael M.… …   Encyclopédie Universelle

  • Raphael senga — Senga Kitenge Raphael était un homme politique (sénateur) congolais. Biographie Née à Lubumbashi le 12 septembre 1928 de Albert Oleko et Louise Mulongoy. Études primaires et secondaires : À l’Institut Saint Boniface (Lubumbashi). Diplômé en… …   Wikipédia en Français

  • Raphael Saadig — Raphael Saadiq Raphael Saadiq Naissance 14 mai 1966 Oakland Pays d’origine américain …   Wikipédia en Français

  • Raphael Saadiq — aux Eurockéennes de Belfort 2011 Naissance 14 mai 1966 Oakland Pays& …   Wikipédia en Français

  • Raphael Saadiq — Raphael Saadiq, 2008 Chartplatzierungen (vorläufig) Vorlage:Infobox Chartplatzierungen/Wartung/vorläufige Chartplatzierung …   Deutsch Wikipedia

  • Robinson (horse) — Robinson is a horse ridden by the American show jumper Richard Spooner.* Color: Fleabitten Gray * Sex: Gelding * Born: 1988 in Germany * Breed: Hanoverian * Breeding: by Raphael, out of Garina * Rider: Richard Spooner * Owner: HMB… …   Wikipedia

  • Robinson (name) — Family name name = Robinson imagesize= caption= pronunciation = meaning = son of Robin region = English speaking countries origin = England related names = footnotes = Infobox Given Name Revised name = Robinson imagesize= caption= pronunciation …   Wikipedia

  • Raphael Soyer — Infobox Artist bgcolour = #6495ED name = Raphael Soyer imagesize = caption = birthname = birthdate = 1899 location = Borisoglebsk, Tambov deathdate = 1987 deathplace = nationality = American field = Draftsman, Painting, Printing training =… …   Wikipedia

Share the article and excerpts

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