Timeline for What is the etymology of zero-sharp?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2011 at 20:30 | vote | accept | Chris Le Sueur | ||
| Oct 19, 2011 at 20:30 | comment | added | Chris Le Sueur | My only concrete guess was a relation to zero-jump. Interestingly the jump operator seems to be in part due to Kleene as well. In any case, Solovay's paper does seem to say $O^\#$ (with a hash/pound, rather than a musical sharp, but that could be a limitation of the typesetting...) so that seems the most plausible answer. | |
| Oct 19, 2011 at 14:57 | comment | added | Todd Eisworth | I've also heard that it was in analogy to 0' from recursion theory. | |
| Oct 19, 2011 at 14:48 | comment | added | Todd Eisworth | Yes, that's what I've always heard. Of course, you were probably the one to tell me this, Andreas. ;) | |
| Oct 19, 2011 at 14:44 | history | answered | Andreas Blass | CC BY-SA 3.0 |