The Foundations of Computability Theory

5 avg rating
( 1 ratings by Goodreads )
 
9783662448076: The Foundations of Computability Theory
View all copies of this ISBN edition:
 
 

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy.

This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science.

"synopsis" may belong to another edition of this title.

About the Author:

Prof. Borut Robič received his Ph.D. in Computer Science from the University of Ljubljana in 1993. He is a member of the Faculty of Computer and Information Science of the University of Ljubljana where he leads the Laboratory for Algorithms and Data Structures. He has had guest professorships, fellowships and collaborations with the University of Cambridge, the University of Augsburg, the University of Grenoble, and the Jožef Stefan Institute in Ljubljana. His research interests and teaching experience address algorithms; computability and computational complexity theory; parallel, distributed and grid computing; operating systems; and processor architectures. Prof. Robič coauthored the book "Processor Architecture: From Dataflow to Superscalar and Beyond" (Springer 1999).

Review:

“The book incorporates many historical, philosophical, and practical concerns closely related to the definitions and core results of the subject. In addition, the book covers enough ground to be able to discuss the finite injury priority method. ... The tone is friendly and accessible, and a reader can learn some of the fundamental aspects of computability theory and its history without getting bogged down in technical details.” (Joseph R. Mileti, Mathematical Reviews, September, 2016)

“For the prepared, this is a wonderful blending of history and philosophy, foundations and computation, math and the mystery of the incomplete, undecidable, unknowable, incomputable. ... a willing reader will be happy.” (Benjamin Wells, ACM Computing Reviews, April, 2016)

“The main purpose of this book is to provide the reader with a clear and deep understanding of the foundations of computability theory. This goal is fully achieved, because the book is well-written and its reading is very pleasant. ... It is a good textbook for undergraduate or beginning graduate students in computer science or mathematics, and I suggest to use it.” (Patrizio Cintioli, zbMATH 1339.03001, 2016)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 84.99
US$ 65.68

Convert currency

Shipping: US$ 5.06
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

RobiÄ, Borut
Published by Springer (2016)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783662448076_lsuk

More information about this seller | Contact this seller

Buy New
US$ 65.68
Convert currency

Add to Basket

Shipping: US$ 5.06
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Robic, Borut
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2015. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783662448076

More information about this seller | Contact this seller

Buy New
US$ 76.19
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Borut Robic (author)
Published by Springer Berlin Heidelberg 2015-09-14, Berlin (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2015-09-14, Berlin, 2015. hardback. Condition: New. Seller Inventory # 9783662448076

More information about this seller | Contact this seller

Buy New
US$ 80.15
Convert currency

Add to Basket

Shipping: US$ 9.80
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

BORUT ROBIÄ
Published by Springer (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2015. Hardback. Condition: NEW. 9783662448076 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0951829

More information about this seller | Contact this seller

Buy New
US$ 80.79
Convert currency

Add to Basket

Shipping: US$ 10.43
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Borut Robi?
Published by Springer (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2015. Condition: New. Seller Inventory # L9783662448076

More information about this seller | Contact this seller

Buy New
US$ 88.91
Convert currency

Add to Basket

Shipping: US$ 3.45
From Germany to U.S.A.
Destination, rates & speeds

6.

Borut Robi?
Published by Springer (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2015. Condition: New. book. Seller Inventory # M3662448076

More information about this seller | Contact this seller

Buy New
US$ 90.04
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

7.

Robi?, Borut
Published by Springer (2018)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: 14
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 3662448076

More information about this seller | Contact this seller

Buy New
US$ 96.95
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

8.

Borut Robic
Published by Springer-Verlag Gmbh Sep 2015 (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Sep 2015, 2015. Buch. Condition: Neu. Neuware - This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. 331 pp. Englisch. Seller Inventory # 9783662448076

More information about this seller | Contact this seller

Buy New
US$ 88.91
Convert currency

Add to Basket

Shipping: US$ 13.83
From Germany to U.S.A.
Destination, rates & speeds

9.

Borut Robic
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Hardcover Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Hardcover. Condition: New. 320 pages. This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c. e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, and c. e. degrees and the priority method. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Seller Inventory # 9783662448076

More information about this seller | Contact this seller

Buy New
US$ 107.51
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

10.

Borut Robic
Published by Springer-Verlag Gmbh Sep 2015 (2015)
ISBN 10: 3662448076 ISBN 13: 9783662448076
New Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Sep 2015, 2015. Buch. Condition: Neu. Neuware - This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. 331 pp. Englisch. Seller Inventory # 9783662448076

More information about this seller | Contact this seller

Buy New
US$ 88.91
Convert currency

Add to Basket

Shipping: US$ 19.74
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book