Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

A new theoretical framework argues that the long-standing split between computational functionalism and biological naturalism misses how real brains actually compute.

(Follow the appropriate link above for Elga or Klein's office hours and contact information.) The final exam will be a take-home exam distributed on Tuesday, May 13, and due at noon on Monday, May 19.

Physicists and computer scientists have recently expanded the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers ...

In computer science and blockchain technology, the term “Turing completeness” describes a system’s ability to carry out any computation that a Turing machine is capable of. A Turing machine is a ...

Empowered by artificial intelligence technologies, computers today can engage in convincing conversations with people, compose songs, paint paintings, play chess and go, and diagnose diseases, to name ...