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) | ||
==External links== | |||
* https://www.greaterwrong.com/posts/MG8Yhsxqu9JY4xRPr/mental-context-for-model-theory | |||
==References== | ==References== | ||
<references/> | <references/> | ||