Skip to main content
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