User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary |
(→notes) |
||
| Line 88: | Line 88: | ||
* diagonalization lemma = rogers fixed point theorem | * diagonalization lemma = rogers fixed point theorem | ||
* Kleene's T predicate, godel beta function, Prf(m,n) https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Bounded_computation_trick | * Kleene's T predicate, godel beta function, Prf(m,n) https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Bounded_computation_trick | ||
* <math>\exists</math> vs mu-search | |||
==External links== | ==External links== | ||