Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles (Hardback or Cased Book)

Hirschfeldt, Denis R.

ISBN 10: 9814612618 / ISBN 13: 9789814612616

Verlag: World Scientific Publishing Company 9/15/2014, 2014

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles. Bestandsnummer des Verkäufers BBS-9789814612616

Inhaltsangabe:

 

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

Über die Autorin bzw. den Autor: Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

Bibliografische Details

Titel: Slicing the Truth: On the Computable and ...
Verlag: World Scientific Publishing Company 9/15/2014
Erscheinungsdatum: 2014
Einband: Hardback or Cased Book
Zustand: New
Art des Buches: Book