Multiple choice

Which of the following is a hypothetical computing device conceived to recognise propositions that cannot be decided?

  1. Turing machine

  2. Matrix

  3. Discours de la methode

  4. Cohomology groups

Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

A Turing machine is a mathematical model of computation that defines an abstract machine, which can simulate any computer algorithm and is used to explore the limits of what is computable.