---

＜電子ブック＞
Recursive function theory / [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 5)

出版者	Providence : American Mathematical Society
出版年	1962
大きさ	1 online resource (1 online resource (vii, 247 p. : illus., port.))
著者標目	*Symposium in Pure Mathematics (5th 1961 New York)
件　名	LCSH:Recursive functions LCSH:Recursive functions -- Congresses  全ての件名で検索 LCSH:American Mathematical Society
内容注記	Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics / Clifford Spector Representability of sets in formal systems / Andrzej Mostowski Herbrand-Gödel-style recursive functionals of finite types / S. C. Kleene Infinite series of isols / J. C. E. Dekker $\Omega -\Lambda $ / John Myhill Arithmetically isolated and nonstandard models / A. Nerode Algebras of sets binumerable in complete extensions of arithmetic / Dana Scott Some problems in hierarchy theory / J. W. Addison The form of the negation of a predicate / J. R. Shoenfield Applications of recursive function theory to number theory / Martin Davis Sequence generators and digital computers / A. W. Burks and J. B. Wright The treatment of ambiguity and paradox in mechanical languages / Saul Gorn Computer programs for checking mathematical proofs / John McCarthy Size and structure of universal Turing machines using tag systems / M. L. Minsky
一般注記	"Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic." Includes bibliographies http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0154801 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142458 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141594 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142447 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142446 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0143698 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141595 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141599 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142449 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0151380 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9999 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142462 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9998 http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142452 Access is restricted to licensed institutions Electronic reproduction Providence, Rhode Island American Mathematical Society 2012 Mode of access : World Wide Web Description based on print version record HTTP:URL=http://www.ams.org/pspum/005 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/005 Information=Contents

 類似資料