User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary |
No edit summary |
||
| Line 40: | Line 40: | ||
* diagonalization lemma = rogers fixed point theorem | * diagonalization lemma = rogers fixed point theorem | ||
* Kleene's T predicate, godel beta function, Prf(m,n) | * Kleene's T predicate, godel beta function, Prf(m,n) | ||
==References== | |||
<references/> | |||