Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Repeat Lemma

Let be a Question about -tuples with two answers
Let a Partial Function.
Define by recursion


  • Then define:

Suppose is answered by register machines
and is performed by register machines.
Then is performed by register machines.

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks