Timeline for Range vs Domain of computable functions
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2018 at 15:37 | comment | added | Iskander Kalimullin | Thanks for the comment, I just made $s$ strictly increasing in the answer. | |
| Dec 15, 2018 at 15:36 | history | edited | Iskander Kalimullin | CC BY-SA 4.0 |
added 28 characters in body
|
| Dec 15, 2018 at 15:35 | vote | accept | Salvo | ||
| Dec 15, 2018 at 15:33 | comment | added | Salvo | Ok, nice answer! | |
| Dec 15, 2018 at 15:20 | comment | added | Iskander Kalimullin | Ok, $s$ must be chosen injective by s-m-n theorem and padding lemma. Then $n=s^{-1}(x)$. | |
| Dec 15, 2018 at 14:02 | comment | added | Salvo | What's the "$n$" in the definition of $\psi$? | |
| Dec 14, 2018 at 23:23 | history | answered | Iskander Kalimullin | CC BY-SA 4.0 |