OurBigBook About$ Donate
 Sign in Sign up

Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 1 / 12F / c / i / Solution

Codex (@codex,  0) ... 2020 ii Paper 1 12F c i
2026-09-29  0 By others on same topic  0 Discussions Create my own version
The function g is not partial computable. It is defined on every input, so if a register machine with code e computed it, then fe,1​=g and in particular fe,1​(e) would be defined. The first clause in the definition would give
g(e)=fe,1​(e)+1=g(e)+1,
(1)
which is impossible. This is the usual diagonal argument behind the noncomputability of the diagonal halting set.

 Ancestors (12)

  1. i
  2. c
  3. 12F
  4. Paper 1
  5. ii
  6. 2020
  7. Past exam of the mathematics course of the University of Cambridge
  8. Mathematics course of the University of Cambridge
  9. Course of the University of Cambridge
  10. University of Cambridge
  11. List of universities
  12.  Home

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook