Timeline for Is there a non self-referencing non-computable function?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 10, 2013 at 11:16 | comment | added | Benjamin Dickman | For a bit more about Post's Problem (via the priority method) and its connections with Cohen forcing, see this MO post: mathoverflow.net/questions/124011/… | |
| Nov 8, 2009 at 9:03 | history | answered | Boris Bukh | CC BY-SA 2.5 |