Sentence examples for philosophy of computer from inspiring English sources

In recent decades, logic has also become a central branch of computer science, due, in part, to interesting computational relations in logical systems, and, in part, to the close connection between formal deductive argumentation and reasoning (see the entries on recursive functions, computability and complexity, and philosophy of computer science).

Reflection on the foundations of computational theory is thus of potential significance not only to the philosophy of computer science, but also to philosophy of mathematics and epistemology as well.

Information is to be found in this encyclopedia's entries on Turing machines, the Church-Turing thesis, computability and complexity, the Turing test, the Chinese room argument, the computational theory of mind, functionalism, multiple realizability, and the philosophy of computer science.

Turing was interested in the question of what it means for a task to be computable, which is one of the foundational questions in the philosophy of computer science.

This is a completely rewritten and updated version of the entry on the philosophy of computer science, written by one of the authors of the previous version.

The notion of a technical artifact will help to conceptualize and organize some of the central questions and issues in the philosophy of computer science.

Mr. Zuckerberg's lengthy letter also tries to help investors understand the philosophy of the computer programmer — the Hacker Way, as he puts it.

Dr. Adwitiya Sinha was awarded with philosophy of doctorate in computer science from Jawaharlal Nehru University (JNU), New Delhi, India in 2015.

Temporal logic is one of the natural meeting points of philosophy and computer science, whose separate issues and agendas come together here in a fertile interaction.

It is for almost the opposite reason: I am convinced that the whole problem of developing AGIs is a matter of philosophy, not computer science or neurophysiology, and that the philosophical progress that will be essential to their future integration is also a prerequisite for developing them in the first place.

He received his Doctor of Philosophy in Computer Science from the Slovak Technical University in Bratislava in 1980.