Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline

Carnielli, Walter A.,Epstein, Richard L.

ISBN 10: 0534546447 / ISBN 13: 9780534546441

Verlag: Wadsworth Publishing, 1999

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verkäufers S_345367421

Bibliografische Details

• Titel: Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
• Verlag: Wadsworth Publishing
• Erscheinungsjahr: 1999
• Sprache: Englisch
• ISBN-10: 0534546447
• ISBN-13: 9780534546441
• Einband: Paperback
• Auflage: 2. Auflage
• Zustand: Good

Über diesen Titel

Inhaltsangabe

Epstein and Carnielli, both logicians who have been collaborating on computability theory for two decades, introduce the philosophical aspects of recursion theory and logic. Opening with a discussion of the philosophical foundations of mathematics, and a presentation of the ideas of whole number, f

Reseña del editor

This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way.