Timeline for $\epsilon$-Formalization of Undecidability of CH
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 11, 2013 at 7:17 | comment | added | Asaf Karagila♦ | As someone who spent quite a lot of time with hex editors and disassemblers, I can actually testify that you can learn a lot about the code itself if you put your mind into it. It's just not very easy to do... | |
| Apr 10, 2013 at 19:56 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |