Computability, Enumerability, Unsolvability

ISBN-13: 9780521557368 / Angielski / Miękka / 1996 / 356 str.

S. B. Cooper; T. A. Slaman; Stanley S. Wainer

Opis

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book provide a picture of current ideas and methods in the ongoing investigations into the structure of the computable and noncomputable universe. A number of the articles contain introductory and background material that will make the volume an invaluable resource for mathematicians and computer scientists.