#9,524

Most Influential Person

American mathematician and doctor

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.

- AN ITERATIVE METHOD OF SOLVING A GAME (1951) (445)
- Definability and decision problems in arithmetic (1949) (333)
- The Decision Problem for Exponential Diophantine Equations (1961) (301)
- Reduction of an arbitrary diophantine equation to one in 13 unknowns (1975) (96)
- The undecidability of algebraic rings and fields (1959) (85)
- General recursive functions (1950) (47)
- On the Hamiltonian Game (A Traveling Salesman Problem) (1949) (45)
- On the Decision Problem for Algebraic Rings (1970) (28)
- 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: Martin Davis, Hilary Putnam, Reductions of Hilbert's Tenth Problem (1972) (0)
- Review: Paul Lorenzen, Metamathematik (1966) (0)
- McNaughton Robert. Undefinability of addition from one unary operator. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 329–337. (1966) (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: Martin Davis, Application of Recursive Function Theory to Number Theory (1972) (0)
- Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine (1972) (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)
- 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)
- Review: A. Nerode, A Decision Method for p-Adic Integral Zeros of Diophantine Equations (1965) (0)
- Review: Alonzo Church, Binary Recursive Arithmetic (1958) (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: Robert McNaughton, Undefinability of addition from one Unary Operator (1966) (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)
- 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)
- List of officers and members of the Association for Symbolic Logic (1962) (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)
- 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)
- 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)

This paper list is powered by the following services:

Julia Robinson is affiliated with the following schools:

This website uses cookies to enhance the user experience. Read the Privacy Policy for more.

Subscribe To Newsletter?Yes!