C. Smoryński

David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second problem? A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 93–130. - Martin Davis, Yuri Matijasevic, and Julia Robinson. Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 323–378.

C. Smoryński · Journal of Symbolic Logic · 1979 · 104 citations

Natural Sciences, Mathematics, Applied Mathematics +7

Recursively saturated nonstandard models of arithmetic

C. Smoryński · Journal of Symbolic Logic · 1981 · 54 citations

Computing, Computer Science, Mathematics +11

Fifty years of self-reference in arithmetic.

C. Smoryński · Notre Dame Journal of Formal Logic · 1981 · 39 citations · Full text

Humanities, History, Mathematics +12

The varieties of arboreal experience

C. Smoryński · The Mathematical Intelligencer · 1982 · 28 citations

Humanities, Landscape Architecture, Aesthetics +5

Calculating self-referential statements

C. Smoryński · Fundamenta Mathematicae · 1980 · 24 citations · Full text