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) - Softcover

 
9780821819227: 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)
Softcover
ISBN 10: 0821819224 ISBN 13: 9780821819227
Verlag: American Mathematical Society, 2000

Inhaltsangabe

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)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
0821819224
ISBN 13 
9780821819227
Einband
Taschenbuch
Anzahl der Seiten
320
Herausgeber
Cholak Peter
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar