IMSc Library catalog › Details for: Recursive function theory.

Normal view MARC view ISBD view

Recursive function theory. [electronic resource] [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society]

By: (5th : Symposium in Pure Mathematics (5th : 1961 : New York)Material type: Text

TextSeries: Proceedings of symposia in pure mathematics ; v. 5Publication details: Providence, American Mathematical Society, 1962Description: 1 online resource (vii, 247 p. : illus., port.)ISBN: 9780821892909 (online)Subject(s): Recursive functions | Recursive functions -- Congresses | American Mathematical SocietyAdditional physical formats: Recursive function theory.DDC classification: 517.5 LOC classification: QA248.5 | .S9 1961Online resources: Contents | Contents

Contents:

Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics / Clifford Spector -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0154801 Representability of sets in formal systems / Andrzej Mostowski -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142458 Herbrand-G�odel-style recursive functionals of finite types / S. C. Kleene -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141594 Infinite series of isols / J. C. E. Dekker -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142447 $\Omega -\Lambda $ / John Myhill -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142446 Arithmetically isolated and nonstandard models / A. Nerode -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0143698 Algebras of sets binumerable in complete extensions of arithmetic / Dana Scott -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141595 Some problems in hierarchy theory / J. W. Addison -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0141599 The form of the negation of a predicate / J. R. Shoenfield -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142449 Applications of recursive function theory to number theory / Martin Davis -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0151380 Sequence generators and digital computers / A. W. Burks and J. B. Wright -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9999 The treatment of ambiguity and paradox in mechanical languages / Saul Gorn -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142462 Computer programs for checking mathematical proofs / John McCarthy -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/9998 Size and structure of universal Turing machines using tag systems / M. L. Minsky -- http://www.ams.org/pspum/005 http://dx.doi.org/10.1090/pspum/005/0142452

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 35 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK12344

"Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic."

Includes bibliographies.

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�odel-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 --

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