Timeline for What are the most attractive Turing undecidable problems in mathematics?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2020 at 14:08 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
minor typo
|
| Jan 4, 2019 at 4:09 | comment | added | TT_ stands with Russia | The same for all Markov properties: en.wikipedia.org/wiki/Adian–Rabin_theorem | |
| Jul 3, 2010 at 19:25 | history | edited | Daniel Mehkeri | CC BY-SA 2.5 |
add examples of other undecidable properties
|
| Jul 3, 2010 at 18:27 | history | answered | Daniel Mehkeri | CC BY-SA 2.5 |