Logic, Software, Software - A Review

The book is a kind of metaphysics of computation. It's its developing ideas around computation that are not purely scientific, shall we say, or empirical, ore based on experiments. The book develops quite historically through developments in the early twentieth century. And then into the post war period, all the way up to the present day. I actually want to tease out philosophical ideas from the scientific developments themselves in a range of fields that i think are linked to project of intelligence as a science.