Timeline for Is there a general setting for self-reference?
Current License: CC BY-SA 2.5
22 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 12, 2017 at 19:16 | answer | added | Peter Heinig | timeline score: 2 | |
Jul 31, 2017 at 22:28 | answer | added | Foys | timeline score: 2 | |
Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
Oct 11, 2012 at 1:42 | answer | added | none | timeline score: 1 | |
Oct 10, 2012 at 15:40 | answer | added | Carl Mummert | timeline score: 6 | |
Oct 8, 2012 at 5:41 | answer | added | Sniper Clown | timeline score: 3 | |
Oct 7, 2012 at 20:02 | answer | added | Peter Arndt | timeline score: 4 | |
Aug 12, 2011 at 13:45 | comment | added | Gerald Edgar | There is a book by D. Hofstadter, I Am a Strange Loop. Actually, now that I think about it, there is a book by R. Smullyan, What Is the Name of This Book? | |
Aug 11, 2011 at 20:55 | answer | added | o a | timeline score: 2 | |
Oct 15, 2010 at 15:57 | vote | accept | Peter Arndt | ||
Oct 15, 2010 at 15:57 | vote | accept | Peter Arndt | ||
Oct 15, 2010 at 15:57 | |||||
Sep 25, 2010 at 16:28 | answer | added | Jérôme JEAN-CHARLES | timeline score: 14 | |
Sep 23, 2010 at 17:24 | answer | added | G. Rodrigues | timeline score: 11 | |
Sep 23, 2010 at 14:41 | comment | added | Peter Arndt | Now Smullyan together with Lawvere's diagonalisation argument, as exposed at arxiv.org/abs/1006.0992, leaves me quite satisfied... | |
Sep 23, 2010 at 14:39 | comment | added | Peter Arndt | Smullyan goes most into the direction I was hoping for (I actually knew that the book existed, but was hoping for something more formal...). And "Vicious Circles" looks great! Thanks to both of you! | |
Sep 23, 2010 at 14:03 | answer | added | Kaveh | timeline score: 7 | |
Sep 22, 2010 at 16:46 | comment | added | Sidney Raffer | The "Recursion Theorem" of classical Recursion Theory, covered e.g. in Hartley Roger's "The Theory of Recusive Functions and Effective Computability" gives the beginnings of such an abstract framework. Also check out Smullyan's book "Diagonalization and Self-Reference", which tries to abstract as much as possible from Godel numbering. | |
Sep 22, 2010 at 16:24 | comment | added | Noam Zeilberger | Are you familiar with Vicious Circles by Barwise and Moss? | |
Sep 22, 2010 at 16:06 | comment | added | Peter Arndt | If it turns out that not, I would have to rephrase my question :-) | |
Sep 22, 2010 at 15:50 | answer | added | dfranke | timeline score: 4 | |
Sep 22, 2010 at 15:40 | comment | added | Dick Palais | If there is, it would be interesting to use it to decide if your question is self referential. :-) | |
Sep 22, 2010 at 15:30 | history | asked | Peter Arndt | CC BY-SA 2.5 |