A new research paper reframes the simulation hypothesis, asking whether reality could be simulated and what science can test.

LeCun argues that “there is no such thing as general intelligence”, saying the term is largely used to describe human-level ...

A new study introduces a structured way to classify the growing list of objections raised by scientists, philosophers, and technologists about whether artificial intelligence (AI) could ever be ...

Editor's note: The IAPP is policy neutral. We publish contributed opinion and analysis pieces to enable our members to hear a broad spectrum of views in our domains. We've come a long way in ...

What is a mathematical proof? It can be described as a sequence of logical steps and calculations that serve as evidence of the correctness of a statement. The steps must follow rules that are ...

The theorem of Royer and Case states that there exists a limit-computable function β_1:N→N which eventually dominates every computable function δ_1:N→N. We present an alternative proof of this theorem ...

We analyze a class of dynamic models that has several recent applications, where each period, each firm receives a private shock to the marginal cost of investment and chooses among many ordered ...

What’s the best way to solve hard problems? That’s the question at the heart of a subfield of computer science called computational complexity theory. It’s a hard question to answer, but flip it ...

Prof Michael Batty’s research is sited within City Science – the practice of modelling the growth and evolution of cities to inform future urban design. The Computable City: Histories, Technologies, ...