Raphael M. Robinson

Raphael M. Robinson
Born(1911-11-02)November 2, 1911
National City, California
DiedJanuary 27, 1995(1995-01-27) (aged 83)
Berkeley, California
Alma materCalifornia
SpouseJulia Robinson
Scientific career
FieldsMathematics

Raphael Mitchel Robinson (November 2, 1911 – January 27, 1995[1]) was an American mathematician.

Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He was awarded from the University of California, Berkeley in mathematics: the BA (1932), MA (1933), and Ph.D. (1935). His Ph.D. thesis, on complex analysis, was titled Some results in the theory of Schlicht functions.

In 1941, Robinson married his former student Julia Bowman. She became his Berkeley colleague and the first woman president of the American Mathematical Society.

Robinson worked on mathematical logic, set theory, geometry, number theory, and combinatorics. In 1937 he set out a simpler and more conventional version of the John von Neumann 1923 axiomatic set theory. Soon after Alfred Tarski joined Berkeley's mathematics department in 1942, Robinson began to do major work on the foundations of mathematics, building on Tarski's concept of essential undecidabilility, by proving a number of mathematical theories undecidable. In 1950 Robinson proved that an essentially undecidable theory need not have an infinite number of axioms by coming up with a counterexample: Robinson arithmetic Q. Q is finitely axiomatizable because it lacks Peano arithmetic's axiom schema of induction; nevertheless Q, like Peano arithmetic, is incomplete and undecidable in the sense of Gödel. Robinson's work on undecidability culminated in his coauthoring Tarski et al. (1953), which established, among other things, the undecidability of group theory, lattice theory, abstract projective geometry, and closure algebras.

Robinson worked in number theory, even employing very early computers to obtain results. For example, he coded the Lucas–Lehmer primality test to determine whether 2n − 1 was prime for all prime n < 2304 on a SWAC. In 1952, he showed that these Mersenne numbers were all composite except for 17 values of n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281. He discovered the last five of these Mersenne primes, the largest ones known at the time.

Robinson wrote several papers on tilings of the plane, in particular a clear and remarkable 1971 paper Undecidability and nonperiodicity for tilings of the plane simplifying what had been a tangled theory.

Robinson became a full professor at Berkeley in 1949, retired in 1973, and remained active in his educational interests for the duration of his life having published late in his life:

See also

References

  1. ^ "Raphael Robinson, Mathematician, 83". The New York Times. February 9, 1995.

Read other articles:

List of schools in Indianapolis

Indianapolis is served by 11 public school districts, along with a number of public charter and private schools. Indianapolis also has eight local universities. Higher education IUPUI is the city's largest higher education institution by enrollment. Institutions Indianapolis is home to more than a dozen public and private colleges and universities. The ‡ symbol denotes university branches whose main campuses are located outside of the city. Ball State University Estopinal College of Archit...

 

2023 Sakha Republic State Assembly election

2023 Sakha Republic State Assembly election ← 2018 8–10 September 2023 2028 → Turnout48.30%   Majority party Minority party Third party   CPRF Candidate Aysen Nikolayev Sardana Avksentyeva Viktor Gubarev Leader Dmitry Medvedev Aleksey Nechayev Gennady Zyuganov Party United Russia New People CPRF Last election 43 seats, 53.35% Did not exist 10 seats, 19.43% Seats won 55 6 4 Seat change 12 Did not exist 6 Popular vote 170,832 44,528 41,344 P...

 

Their Greatest Hits (1971–1975)

1976 compilation album by the EaglesTheir Greatest Hits (1971–1975)Compilation album by the EaglesReleasedFebruary 17, 1976 (1976-02-17)Recorded1971–1975StudioOlympic and Island, London; The Record Plant, Los Angeles; Criteria, MiamiGenreRockLength43:08LabelAsylumProducerGlyn JohnsBill SzymczykThe Eagles chronology One of These Nights(1975) Their Greatest Hits (1971–1975)(1976) Hotel California(1976) Their Greatest Hits (1971–1975) is the first compilation album...

العلاقات الكازاخستانية المالطية

العلاقات الكازاخستانية المالطية كازاخستان مالطا   كازاخستان   مالطا تعديل مصدري - تعديل   العلاقات الكازاخستانية المالطية هي العلاقات الثنائية التي تجمع بين كازاخستان ومالطا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين:...

 

Master's FA

Canadian semi-professional soccer club Football clubMaster's FutbolFull nameMaster's Futbol AcademyNickname(s)SaintsFounded2009; 15 years ago (2009)StadiumL'Amoreaux ParkScarborough, Toronto, OntarioOwnerJunior GrovesHead CoachGiuseppe Mattace-RasoLeagueLeague1 Ontario2021League1 Ontario, 19thPlayoffs: DNQWebsiteClub website Current season Master's Futbol Academy, commonly known as Master's FA, is a Canadian semi-professional soccer club based in Scarborough, Toronto, Ontari...

 

Wild Goat Style

Oinochoe in Wild Goat style, with wild goats, Rhodes, c. 615–600 BCE The Wild Goat style (variously capitalized and hyphenated) is a modern term describing vase painting produced in the east of Greece, namely the southern and eastern Ionian islands, between c. 650 to 550 BCE. Examples have been found notably at the sites in Chios, at Miletus and in Rhodes. The style owes its name to the predominant motif found on such vases: friezes of goats. The style developed the technique in...

Linux

Disambiguazione – Se stai cercando il kernel su cui si basano i sistema operativi di questa famiglia, vedi Linux (kernel). GNU/Linuxsistema operativoLogoSchermata di Debian con ambiente grafico GNOMEFamigliaUnix-Like Release corrente6.1.8 (24 gennaio 2023) Tipo di kernelKernel monolitico Piattaforme supportatex86-64, x64, ARM Tipo licenzaSoftware libero LicenzaGNU General Public License Stadio di sviluppoin produzione Sito webkernel.org/ Modifica dati su Wikidata · Manuale GNU/Linux,...

 

Cecil Cooper

American baseball player and manager (born 1949) For the Anglican bishop, see Cecil Cooper (bishop). For the Anglican priest, see Cecil Cooper (priest). For the rugby player, see Cec Cooper. Baseball player Cecil CooperCooper as coach for the Houston Astros in 2007First baseman / ManagerBorn: (1949-12-20) December 20, 1949 (age 74)Brenham, Texas, U.S.Batted: LeftThrew: LeftMLB debutSeptember 8, 1971, for the Boston Red SoxLast MLB appearanceJuly 12, 1987, for the...

 

Egoist anarchism

School of anarchist thought Part of a series onAnarchism History Outline Schools of thought Feminist Green Primitivist Social ecology Total liberation Individualist Egoist Free-market Naturist Philosophical Mutualism Postcolonial African Black Queer Religious Christian Jewish Social Collectivist Parecon Communist Magonism Without adjectives Methodology Agorism Illegalism Insurrectionary Communization Expropriative Pacifist Platformism Especifismo Relationship Syndicalist Synthesis Theory Prac...

Babylon 5

Babylon 5Immagine dalla sigla della serie televisivaTitolo originaleBabylon 5 PaeseStati Uniti d'America Anno1993-1998 Formatoserie TV Generefantascienza, azione Stagioni5 Episodi110 Durata45 min (episodio) Lingua originaleinglese Rapporto16:9 CreditiIdeatoreJ. Michael Straczynski Interpreti e personaggi Mary Kay Adams: Na'Toth Richard Biggs: Stephen Franklin Bruce Boxleitner: John Sheridan Julie Caitlin Brown: Na'Toth Jason Carter: Marcus Cole Claudia Christian: Susan Ivanova Jeff Conawa...

 

Protesi

Disambiguazione – Se stai cercando altri significati, vedi Protesi (disambigua). Radiografia di una protesi femorale in sede Una protesi è un dispositivo artificiale atto a sostituire una parte del corpo mancante (un arto, un organo o un tessuto), o a integrare una danneggiata[1]. Le protesi possono essere prodotte su misura (ad esempio protesi dentarie o ortopediche) o in serie (ad esempio valvole cardiache). Le protesi dentali o dentarie vengono costruite da odontotecnici diplom...

 

Nothing but Heartaches

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Nothing but Heartaches – news · newspapers · books · scholar · JSTOR (September 2016) (Learn how and when to remove this message) 1965 single by The SupremesNothing but HeartachesSingle by The Supremesfrom the album More Hits by The Supremes B-sideHe Holds His ...

St. Thomas Evangelical Church of India

Eastern Oriental Protestant episcopal denomination St. Thomas Evangelical Church of IndiaSt Thomas Evangelical Church Of India EmblemAbbreviationSTECITypeEvangelical ProtestantClassificationSyrian Christian, Saint Thomas Syrian ChristiansScriptureHoly BiblePolityEpiscopalGovernanceDemocraticPresiding BishopMost Rev Dr Thomas AbrahamPrathinidhi sabha AdhyakshanRt Rev Dr Abraham ChackoLanguageMalayalam, English, Hindi, Odia, Tamil, Kannada, Marathi, Gujrati, Telugu,LiturgyWest Syriac Rite (Refo...

 

Amsterdam University Press

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: Amsterdam University Press – news · newspapers · books · scholar · JSTOR (August 2011) (Learn how and when to remove this message) This article needs add...

 

Mustafa Reşid Pasha

Ottoman statesman and Grand Vizier (1800–1858) In this Ottoman Turkish style name, the given name is Mustafa Reşid, the title is Pasha, and there is no family name. KocaMustafa ReşidPashaReşid, c. 1850sGrand Vizier of the Ottoman EmpireIn office22 October 1857 – 7 January 1858MonarchAbdulmejid IPreceded byMustafa Naili PashaSucceeded byMehmed Emin Âli PashaIn office1 November 1856 – 6 August 1857MonarchAbdulmejid IPreceded byMehmed Emin Âli PashaSucc...

Andries Noppert

Dutch footballer (born 1994) Andries Noppert Noppert with Heerenveen in 2023.Personal informationFull name Andries Noppert[1]Date of birth (1994-04-07) 7 April 1994 (age 30)[2]Place of birth Heerenveen, NetherlandsHeight 2.03 m (6 ft 8 in)[3]Position(s) GoalkeeperTeam informationCurrent team HeerenveenNumber 44Youth career0000–2013 HeerenveenSenior career*Years Team Apps (Gls)2013–2014 Heerenveen 0 (0)2014–2018 NAC Breda 6 (0)2018–2019 Foggi...

 

Hospital of St John and St Elizabeth

Hospital in London, EnglandHospital of St John and St ElizabethRoman Catholic affiliationHospital of St John and St ElizabethGeographyLocationLondon, NW8, United KingdomCoordinates51°31′58″N 0°10′27″W / 51.53278°N 0.17417°W / 51.53278; -0.17417OrganisationCare systemPrivateFundingNon-profit hospitalTypecharitable hospitalServicesEmergency departmentUrgent care centreBeds70+HistoryOpened1856; 168 years ago (1856)LinksWebsitewww.hje.org.ukL...

 

Lilotomab

Murine monoclonal antibody against CD37 LilotomabMonoclonal antibodyTypeWhole antibodySourceMouseTargetCD37Clinical dataOther namesTetulomab, HH1ATC codenoneIdentifiersCAS Number1453362-55-4 1453362-90-7 (lutetium (177Lu) lilotomab satetraxetan)ChemSpidernoneUNII58I6YNR7BVKEGGD12125 Lilotomab (formerly tetulomab, HH1)[1] is a murine monoclonal antibody against CD37,[2] a glycoprotein which is expressed on the surface of mature human B cells.[3] It was generated at the ...

人の移動の歴史

人類の移動ルート 人の移動の歴史（ひとのいどうのれきし）あるいは人の移住の歴史（ひとのいじゅうのれきし）（英: history of human migration）について解説する。 人の移動あるいは人の移住（英: human migration)は、人間がある場所から別の場所へ、永続的にあるいは一時的に移動すること（そこに住まうこと）である。 古代のこと、中等教育の歴史の教科書などで�...

 

List of political parties in Rojava

See also: Syrian Democratic Council Politics of Autonomous Administration of North and East Syria Symbols Symbols of Rojava Constitution Libertarian socialism Human rights Legislature and Government Syrian Democratic Council Executive Council Elections March 2015 (Local) September 2017 (Local) December 2017 (Regional) Political parties Democratic Union Party (PYD) Syriac Union Party (SUP) Wheat Wave Movement (QMH) Syrian National Democratic Alliance (SNDA) Honor and Rights Convention (HRC) Y...