An introductory textbook on the Philosophy of Computer Science, which asks questions such as: What is Computer Science? What are computers, algorithms, and programs? What is hypercomputation? What is an implementation? Are programs theories? How do programs relate to the world? The book also introduces Computer Ethics and the Philosophy of Artificial Intelligence.

While the book hasn't been formally published, a continuously updated draft is available at: https://cse.buffalo.edu/~rapaport/Pap...

(From Goodreads)