<E-Book>
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)
Publisher | Providence : American Mathematical Society |
---|---|
Year | 1962 |
Size | 1 online resource (1 online resource (vii, 247 p. : illus., port.)) |
Authors | *Symposium in Pure Mathematics (5th 1961 New York) |
Subjects | LCSH:Recursive functions LCSH:Recursive functions -- Congresses All Subject Search LCSH:American Mathematical Society |
Contents | 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 |
Notes | "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 |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
|
Proceedings in Symposia in Pure Mathematics | 9780821892909 |
|
電子リソース |
|
EB00015950 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:8times
※After Sep 4, 2017