S Barry Cooper: 2 books

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy...

Concepts of Nature compare and contrast classical, medieval, and modern conceptions of nature in order to better understand how and why the concept of nature no longer seems to provide a limit or standard for human action. These essays also evaluate whether a rearticulation of pre-modern ideas (or...