Which of the following is a hypothetical computing device conceived to recognise propositions that cannot be decided?
Reveal answer
Fill a bubble to check yourself
Which of the following is a hypothetical computing device conceived to recognise propositions that cannot be decided?