Julia Robinson
#9,647
Most Influential Person Across History
American mathematician and doctor
Julia Robinson's AcademicInfluence.com Rankings
Download Badge
Mathematics
Julia Robinson's Degrees
- PhD Mathematics University of California, Berkeley
Why Is Julia Robinson Influential?
(Suggest an Edit or Addition)According to Wikipedia, Julia Hall Bowman Robinson was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her work on Hilbert's tenth problem played a crucial role in its ultimate resolution. Robinson was a 1983 MacArthur Fellow.
Julia Robinson's Published Works
Published Works
- AN ITERATIVE METHOD OF SOLVING A GAME (1951) (438)
- Definability and decision problems in arithmetic (1949) (340)
- The Decision Problem for Exponential Diophantine Equations (1961) (307)
- Reduction of an arbitrary diophantine equation to one in 13 unknowns (1975) (98)
- The undecidability of algebraic rings and fields (1959) (86)
- General recursive functions (1950) (47)
- On the Hamiltonian Game (A Traveling Salesman Problem) (1949) (46)
- On the Decision Problem for Algebraic Rings (1970) (29)
- Recursive functions of one variable (1968) (21)
- Unsolvable diophantine problems (1969) (20)
- A note on primitive recursive functions (1955) (18)
- Finite generation of recursively enumerable sets (1968) (13)
- The Undecidability of Exponential Diophantine Equations (1966) (10)
- Review: H. Lauchli, J. Leonard, On the Elementary Theory of Linear Order (1968) (3)
- Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations (1962) (2)
- Symmetry and congruence of convex digital regions (1992) (1)
- Point symmetry of convex digital regions (1988) (1)
- Solving Diophantine Equations (1973) (1)
- The Decision Problem for Exponential Diophantine Equations. (1970) (1)
- Review: Robert McNaughton, Undefinability of addition from one Unary Operator (1966) (0)
- Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability (1953) (0)
- Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic (1971) (0)
- Davis Martin. Applications of recursive function theory to number theory. Recursive function theory , Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 135–138. (1972) (0)
- Review: Alonzo Church, Binary Recursive Arithmetic (1958) (0)
- Review: Martin Davis, Hilary Putnam, Reductions of Hilbert's Tenth Problem (1972) (0)
- Kleene S. C.. Mathematical logic: Constructive and non-constructive operations. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, pp. 137–153. (1962) (0)
- List of officers and members of the Association for Symbolic Logic (1960) (0)
- Craig William and Quine W. V.. On reduction to a symmetric relation. The journal of symbolic logic, vol. 17 (1952), p. 188. (1953) (0)
- H. Läuchli and J. Leonard. On the elementary theory of linear order. Fundamenta mathematicae , vol. 59 (1966), pp. 109–116. (1968) (0)
- Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine (1972) (0)
- McNaughton Robert. Undefinability of addition from one unary operator. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 329–337. (1966) (0)
- Review: Martin Davis, Application of Recursive Function Theory to Number Theory (1972) (0)
- Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. (1971) (0)
- Finitely generated classes of sets of natural numbers (1969) (0)
- Review: William Craig, W. V. Quine, On Reduction to a Symmetric Relation (1953) (0)
- Review: Paul Lorenzen, Metamathematik (1966) (0)
- Review: A. Nerode, A Decision Method for p-Adic Integral Zeros of Diophantine Equations (1965) (0)
- List of officers and members of the Association for Symbolic Logic (1962) (0)
- Nerode A.. A decision method for p-adic integral zeros of diophantine equations. Bulletin of the American Mathematical Society , vol. 69 (1963), pp. 513–517. (1965) (0)
- Alonzo Church and W. V. Quine. Some theorems on definability and decidability. The journal of symbolic logic , vol. 17 (1952), pp. 179–187. (1953) (0)
This paper list is powered by the following services:
Other Resources About Julia Robinson
What Schools Are Affiliated With Julia Robinson?
Julia Robinson is affiliated with the following schools: