Computability Theory and Its Applications: Current Trends and Open Problems : Proceedings of a 1999 Ams-Ims-Siam, Joint Summer Research Conference, . Applications, June (Contemporary Mathematics)

ISBN 10: 0821819224 / ISBN 13: 9780821819227

Published by Amer Mathematical Society, 2000

About this Item

Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA82908218192244

Bibliographic Details

• Title: Computability Theory and Its Applications: Current Trends and Open Problems : Proceedings of a 1999 Ams-Ims-Siam, Joint Summer Research Conference, . Applications, June (Contemporary Mathematics)
• Publisher: Amer Mathematical Society
• Publication Date: 2000
• Language: English
• ISBN 10: 0821819224
• ISBN 13: 9780821819227
• Binding: paperback
• Condition: Good
• Dust Jacket Condition: Dust Jacket Included
• Book Type: book

About this title

Synopsis

Papers from a June 1999 conference present a snapshot of the status of computability theory and suggest directions for future research. Focus is on open problems in computability theory and on some related areas in which the ideas, methods, and results of computability theory play a role. Topics from the area of "pure" computability theory include the computably enumerable degrees and sets, definability issues in the c.e. and Turing degrees, and other degree structures. Subjects involving relations between computability and other areas of logic and mathematics include reverse mathematics and proof theory, set theory, and computable mathematics and model theory. Cholak teaches mathematics at the University of Notre Dame. Lacks a subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)