Non-Turing Computers and Non-Turing Computability