Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Raphael_M._Robinson> ?p ?o. }

• Raphael_M._Robinson abstract "Raphael Mitchel Robinson (November 2, 1911 – January 27, 1995) 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 undecidability," 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: (age 80 years) "Minsky's small universal Turing machine," describing a universal Turing machine with four symbols and seven states; (age 83 years) "Two figures in the hyperbolic plane."".
• Raphael_M._Robinson almaMater University_of_California,_Berkeley.
• Raphael_M._Robinson birthDate "1911-11-02".
• Raphael_M._Robinson birthPlace National_City,_California.
• Raphael_M._Robinson birthYear "1911".
• Raphael_M._Robinson deathDate "1995-01-27".
• Raphael_M._Robinson deathPlace Berkeley,_California.
• Raphael_M._Robinson deathYear "1995".
• Raphael_M._Robinson field Mathematics.
• Raphael_M._Robinson influencedBy Alfred_Tarski.
• Raphael_M._Robinson influencedBy John_von_Neumann.
• Raphael_M._Robinson thumbnail Raphael_M._Robinson.jpg?width=300.
• Raphael_M._Robinson viafId "119628291".
• Raphael_M._Robinson wikiPageExternalLink 0103-toc.htm.
• Raphael_M._Robinson wikiPageID "693495".
• Raphael_M._Robinson wikiPageRevisionID "602046106".
• Raphael_M._Robinson almaMater University_of_California,_Berkeley.
• Raphael_M._Robinson birthDate "1911-11-02".
• Raphael_M._Robinson birthPlace National_City,_California.
• Raphael_M._Robinson dateOfBirth "1911-11-02".
• Raphael_M._Robinson dateOfDeath "1995-01-27".
• Raphael_M._Robinson deathDate "1995-01-27".
• Raphael_M._Robinson deathPlace Berkeley,_California.
• Raphael_M._Robinson fields Mathematics.
• Raphael_M._Robinson hasPhotoCollection Raphael_M._Robinson.
• Raphael_M._Robinson influences Alfred_Tarski.
• Raphael_M._Robinson influences John_von_Neumann.
• Raphael_M._Robinson name "Raphael M. Robinson".
• Raphael_M._Robinson name "Robinson, Raphael M.".
• Raphael_M._Robinson placeOfBirth National_City,_California.
• Raphael_M._Robinson placeOfDeath Berkeley,_California.
• Raphael_M._Robinson shortDescription "American mathematician".
• Raphael_M._Robinson description "American mathematician".
• Raphael_M._Robinson description "American mathematician".
• Raphael_M._Robinson subject Category:1911_births.
• Raphael_M._Robinson subject Category:1995_deaths.
• Raphael_M._Robinson subject Category:20th-century_mathematicians.
• Raphael_M._Robinson subject Category:American_logicians.
• Raphael_M._Robinson subject Category:American_mathematicians.
• Raphael_M._Robinson subject Category:American_philosophers.
• Raphael_M._Robinson subject Category:People_from_National_City,_California.
• Raphael_M._Robinson subject Category:Set_theorists.
• Raphael_M._Robinson subject Category:University_of_California,_Berkeley_alumni.
• Raphael_M._Robinson subject Category:University_of_California,_Berkeley_faculty.
• Raphael_M._Robinson type 20th-centuryMathematicians.
• Raphael_M._Robinson type AmericanLogicians.
• Raphael_M._Robinson type AmericanMathematicians.
• Raphael_M._Robinson type CausalAgent100007347.
• Raphael_M._Robinson type Expert109617867.
• Raphael_M._Robinson type Intellectual109621545.
• Raphael_M._Robinson type LivingThing100004258.
• Raphael_M._Robinson type Logician110269785.
• Raphael_M._Robinson type Mathematician110301261.
• Raphael_M._Robinson type Object100002684.
• Raphael_M._Robinson type Organism100004475.
• Raphael_M._Robinson type PeopleFromNationalCity,California.
• Raphael_M._Robinson type Person100007846.
• Raphael_M._Robinson type PhysicalEntity100001930.
• Raphael_M._Robinson type Scientist110560637.
• Raphael_M._Robinson type SetTheorists.
• Raphael_M._Robinson type Theorist110706812.
• Raphael_M._Robinson type Whole100003553.
• Raphael_M._Robinson type YagoLegalActor.
• Raphael_M._Robinson type YagoLegalActorGeo.
• Raphael_M._Robinson type Agent.
• Raphael_M._Robinson type Person.
• Raphael_M._Robinson type Scientist.
• Raphael_M._Robinson type Person.
• Raphael_M._Robinson type PersonWithOccupation.
• Raphael_M._Robinson type Scientist.
• Raphael_M._Robinson type Q215627.
• Raphael_M._Robinson type Q5.
• Raphael_M._Robinson type Agent.
• Raphael_M._Robinson type NaturalPerson.
• Raphael_M._Robinson type Thing.
• Raphael_M._Robinson type Person.
• Raphael_M._Robinson comment "Raphael Mitchel Robinson (November 2, 1911 – January 27, 1995) 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.".
• Raphael_M._Robinson label "Raphael M. Robinson".
• Raphael_M._Robinson label "Raphael Robinson".
• Raphael_M._Robinson sameAs Raphael_Robinson.
• Raphael_M._Robinson sameAs m.033bbz.
• Raphael_M._Robinson sameAs Q1257572.
• Raphael_M._Robinson sameAs Q1257572.
• Raphael_M._Robinson sameAs Raphael_M._Robinson.
• Raphael_M._Robinson wasDerivedFrom Raphael_M._Robinson?oldid=602046106.
• Raphael_M._Robinson depiction Raphael_M._Robinson.jpg.
• Raphael_M._Robinson givenName "Raphael M.".
• Raphael_M._Robinson isPrimaryTopicOf Raphael_M._Robinson.
• Raphael_M._Robinson name "Raphael M. Robinson".
• Raphael_M._Robinson name "Robinson, Raphael M.".
• Raphael_M._Robinson surname "Robinson".