Computability

Copeland, B. JackPosy, Carl J. ; Posy, Carl J. ; Posy, Carl J. ; Shagrir, Oron ; Shagrir, Oron ; Shagrir, Oron - - Massachusetts : The Mit Press - 2013

Turing versus gödel on computability and the mind -- Computability and arithmetic -- About and around Computing over the reals -- The Church-Turing "thesis" as a special corollary of gödel's completeness theorem -- Computability and constructibility -- After gödel -- The open texture of computability -- Gödel's philosophical challenge (to Turing) -- Interactive computing and relativized computability -- Why philosophers should care about computational complexity -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics.