Timeline for Is there any reasonable non-regular Gödel numbering of the language of arithmetic?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 22, 2020 at 21:43 | history | edited | Konrad Zdanowski | CC BY-SA 4.0 |
added 384 characters in body
|
| May 22, 2020 at 12:41 | comment | added | Konrad Zdanowski | Thank you, it's nice. The topic is one of my favourite so I could not resist to provide an example. | |
| May 22, 2020 at 3:33 | comment | added | user44143 | You’ve been a member for 6 years and 5 months, so I’m honored to give you your first upvote! | |
| May 21, 2020 at 23:55 | review | First posts | |||
| May 22, 2020 at 0:07 | |||||
| May 21, 2020 at 23:50 | history | answered | Konrad Zdanowski | CC BY-SA 4.0 |