Zur Startseite gehen
0,00 €*
Cover: 9781584882374 | Computability Theory | S Barry Cooper | Buch | Englisch | 2003
Dekorationsartikel gehören nicht zum Leistungsumfang.
Computability Theory
Buch von S Barry Cooper
Sprache: Englisch

136,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results that also serves as a guide to the direction of current research in the field. Computability Theory includes both the standard material for a first course in computability and more advanced looks at Turing degrees, forcing, Turing definability, and determinacy. The final chapter explores a variety of computability applications in mathematics and science.
Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results that also serves as a guide to the direction of current research in the field. Computability Theory includes both the standard material for a first course in computability and more advanced looks at Turing degrees, forcing, Turing definability, and determinacy. The final chapter explores a variety of computability applications in mathematics and science.
Über den Autor
Cooper, S. Barry; Cooper, S. Barry
Inhaltsverzeichnis
COMPUTABILITY, AND UNSOLVABLE PROBLEMS: Hilbert and the Origins of Computability Theory. Models of Computability and the Church-Turing Thesis. Language, Proof and Computable Functions. Coding, Self-Reference and Diagonalisation. Enumerability and Computability. The Search for Natural Examples of Incomputable Sets. Comparing Computability. Gödel's Incompleteness Theorem. Decidable and Undecidable Theories. INCOMPUTABILITY AND INFORMATION CONTENT: Computing with Oracles. Nondeterminism, Enumerations and Polynomial Bounds. MORE ADVANCED TOPICS: Post's Problem: Immunity and Priority. The Computability of Theories. Forcing and Category. Applications of Determinacy. Computability and Structure.
Details
Erscheinungsjahr: 2003
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9781584882374
ISBN-10: 1584882379
Sprache: Englisch
Einband: Gebunden
Autor: Cooper, S Barry
Hersteller: Taylor & Francis Ltd (Sales)
Verantwortliche Person für die EU: preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße: 246 x 158 x 27 mm
Von/Mit: S Barry Cooper
Erscheinungsdatum: 17.11.2003
Gewicht: 0,717 kg
Artikel-ID: 128117183
Über den Autor
Cooper, S. Barry; Cooper, S. Barry
Inhaltsverzeichnis
COMPUTABILITY, AND UNSOLVABLE PROBLEMS: Hilbert and the Origins of Computability Theory. Models of Computability and the Church-Turing Thesis. Language, Proof and Computable Functions. Coding, Self-Reference and Diagonalisation. Enumerability and Computability. The Search for Natural Examples of Incomputable Sets. Comparing Computability. Gödel's Incompleteness Theorem. Decidable and Undecidable Theories. INCOMPUTABILITY AND INFORMATION CONTENT: Computing with Oracles. Nondeterminism, Enumerations and Polynomial Bounds. MORE ADVANCED TOPICS: Post's Problem: Immunity and Priority. The Computability of Theories. Forcing and Category. Applications of Determinacy. Computability and Structure.
Details
Erscheinungsjahr: 2003
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9781584882374
ISBN-10: 1584882379
Sprache: Englisch
Einband: Gebunden
Autor: Cooper, S Barry
Hersteller: Taylor & Francis Ltd (Sales)
Verantwortliche Person für die EU: preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße: 246 x 158 x 27 mm
Von/Mit: S Barry Cooper
Erscheinungsdatum: 17.11.2003
Gewicht: 0,717 kg
Artikel-ID: 128117183
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...