Timeline for Proof of the existence of hyperimmune-free degrees
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 12, 2013 at 9:12 | answer | added | Peter Gerdes | timeline score: 2 | |
| Jun 29, 2012 at 7:44 | comment | added | Jing Zhang | Thank you @Francois. What you suggested totally makes sense. I think I just got confused at when to think of splitting. I referred to the previous discussion in the book, the situation is only considered when the function under current string(oracle) is undefined. Thank you for enlightening me! | |
| Jun 28, 2012 at 20:58 | history | edited | François G. Dorais |
edited tags
|
|
| Jun 28, 2012 at 19:33 | comment | added | François G. Dorais | I think this is just a matter of convention - the only reason why $\phi^\tau_e(n)$ would change later on would be if the algorithm read beyond $\tau$ and made a decision contingent on the absence of a value there. Since this is somewhat silly, it is safe to assume that the algorithm diverges as soon as it attempts to read beyond $\tau$. This way, the output of the algorithm will agree on any longer oracle. | |
| Jun 28, 2012 at 16:37 | history | asked | Jing Zhang | CC BY-SA 3.0 |