||Computers are currently intended as general purpose, programmable devices that carry out algorithmic instructions by way of arithmetic and logical operations. The philosophical literature on computers include the varied spectrum of theoretical, scientific, and technological issues that computers induce. Under theoretical issues are of particular importance those related to computability theory (such as the Church-Turing thesis), complexity, the limits of the computable, the relations between the mind and computers. Under the scientific problems of philosophical relevance are those related to computer-based mathematics, computer-generated arts, the explanation of computational events, pedagogy and human-computer interaction. Under the technological aspects of philosophical importance fall the design and correctness of programs, the nature of simulations, the representation and implementation of data and the nature and semantics of programming languages.