# User:IssaRice/Computability and logic/Diagonalization lemma

From Machinelearning

## Rogers's fixed point theorem

Let be a total computable function. Then there exists an index such that .

## Diagonalization lemma

(semantic version)

Let be a formula with one free variable. Then there exists a sentence such that iff .