Timeline for Standard notation for the language of the universal Turing machine?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2018 at 23:52 | comment | added | templatetypedef | @DavidRicherby I'm not sure about that. There are some mathematical concepts where there are many different, parallel, standard notations employed for similar concepts (for example, how many different ways are there to write out the "implies" connective?) Given that those textbooks were written decades apart, it's also possible there was a shift in the notation. | |
| Mar 1, 2018 at 23:17 | comment | added | David Richerby | Doesn't the fact that the two main textbooks use different notation already answer your question? | |
| Jan 2, 2013 at 19:07 | vote | accept | templatetypedef | ||
| Jan 2, 2013 at 7:46 | answer | added | Andrej Bauer | timeline score: 6 | |
| Jan 2, 2013 at 5:30 | history | asked | templatetypedef | CC BY-SA 3.0 |