-
1
-
-
0001016950
-
DIophantIne problems over local fIelds. I
-
Ax, J., and Kochen, S. 1965. Diophantine problems over local fields. I. American Journal of Mathematics 87: 605–30.
-
(1965)
American Journal of Mathematics
, vol.87
, pp. 605-630
-
-
Ax, J.1
Kochen, S.2
-
8
-
-
0003983574
-
-
Hewlett, NY: Raven Press
-
Davis, M. (ed.) 1965. The Undecidable. Hewlett, NY: Raven Press. http://cs.nyu.edu/pipermail/fom/2007-October/012156.html. http://forum.wolframscience.com/showthread.php?s=&threadid=1472.
-
(1965)
The Undecidable
-
-
Davis, M.1
-
12
-
-
0004318283
-
-
New York: Borzoi Books, Alfred A. Knopf
-
Gardner, M. 1975. Mathematical Carnival. New York: Borzoi Books, Alfred A. Knopf. p. 264. http://www-groups.dcs.st-and.ac.uk/∼history/Mathematicians.
-
(1975)
Mathematical Carnival
-
-
Gardner, M.1
-
13
-
-
84874783982
-
-
2nd ed. Roma: Sandro Teti Editore
-
Geymonat, M. 2006. Il grande Archimede. 2nd ed. Roma: Sandro Teti Editore.
-
(2006)
Il Grande Archimede
-
-
Geymonat, M.1
-
14
-
-
0009186928
-
A new reading of method proposition 14: Preliminary evidence from the archimedes palimpsest
-
Netz, R., Saito, K., and Tchernetska, N. 2001. A new reading of Method Proposition 14: Preliminary evidence from the Archimedes palimpsest. I. Source and Commentaries in Exact Sciences 2: 9–29.
-
(2001)
I. Source and Commentaries in Exact Sciences
, vol.2
, pp. 9-29
-
-
Netz, R.1
Saito, K.2
Tchernetska, N.3
-
15
-
-
84926129706
-
-
University of Oulu, Linnanmaa, Oulu, Finland. Acta Universitatis, Ouluensis, Scientiae Rerum Naturalium
-
Nygren, A. 2001. A simple solution to Archimedes’ cattle problem. University of Oulu, Linnanmaa, Oulu, Finland. Acta Universitatis, Ouluensis, Scientiae Rerum Naturalium. http://herkules.oulu.fi/isbn9514259327/index.html?tulosta=yes.
-
(2001)
A Simple Solution to Archimedes’ Cattle Problem
-
-
Nygren, A.1
-
16
-
-
84926115035
-
A mathematical incompleteness in peano arithmetic
-
with contributions by C. Smorynski, Helmut Schwichtenberg, Richard Statman, et al. Handbook of Mathematical Logic, part D, Studies in Logic and the Foundations of Math, Amsterdam: North-Holland
-
Paris, J., and Harrington, L. 1977. A mathematical incompleteness in Peano arithmetic. In Proof Theory and Constructive Mathematics, with contributions by C. Smorynski, Helmut Schwichtenberg, Richard Statman, et al. Handbook of Mathematical Logic, part D, pp. 819–1142. Studies in Logic and the Foundations of Math, vol. 90. Amsterdam: North-Holland.
-
(1977)
Proof Theory and Constructive Mathematics
, pp. 819-1142
-
-
Paris, J.1
Harrington, L.2
-
17
-
-
84944486180
-
On non-computable functions
-
Rado, T. 1962. On non-computable functions. Bell System Technical Journal 41: 877–84.
-
(1962)
Bell System Technical Journal
, vol.41
, pp. 877-884
-
-
Rado, T.1
-
19
-
-
85115374351
-
Algorithms for quantum computation: Discrete logarithms and factoring
-
Los Alamitos, CA: IEEE Computer Society Press
-
Shor, P. W. 1994. Algorithms for quantum computation: Discrete logarithms and factoring. In 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, pp. 124–34. Los Alamitos, CA: IEEE Computer Society Press.
-
(1994)
35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico
, pp. 124-134
-
-
Shor, P.W.1
-
21
-
-
0032371312
-
Archimedes’ cattle problem
-
Vardi, I. 1998. Archimedes’ cattle problem. American Mathematical Monthly 105: 305–19.
-
(1998)
American Mathematical Monthly
, vol.105
, pp. 305-319
-
-
Vardi, I.1
|