Timeline for Problems understanding proof of smn theorem using Church-Turing thesis
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 30, 2018 at 9:08 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 39 characters in body
|
Sep 30, 2018 at 8:34 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
edited body
|
Sep 30, 2018 at 8:05 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 423 characters in body
|
Sep 30, 2018 at 7:58 | history | answered | Andrej Bauer | CC BY-SA 4.0 |