Re: Generalized Löb's Theorem

2013-03-10 Thread advancedguidance
On Tuesday, March 5, 2013 4:51:56 PM UTC+2, advanced...@list.ru wrote: On Tuesday, March 5, 2013 4:48:10 PM UTC+2, advanced...@list.ru wrote: On Tuesday, March 5, 2013 3:33:28 PM UTC+2, Stephen Paul King wrote: On 3/5/2013 6:23 AM, advanced...@list.ru wrote: On Tuesday, March 5,

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance
On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote: Hi Stephen, On 25 Jan 2013, at 18:06, Stephen P. King wrote: Have you seen this? What implications does it have? http://arxiv.org/ftp/arxiv/papers/1301/1301.5340.pdf If the result is correct (which I think

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance
On Tuesday, March 5, 2013 1:16:15 PM UTC+2, advanced...@list.ru wrote: On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote: Hi Stephen, On 25 Jan 2013, at 18:06, Stephen P. King wrote: Have you seen this? What implications does it have?

Re: Generalized Löb's Theorem

2013-03-05 Thread Stephen P. King
On 3/5/2013 6:23 AM, advancedguida...@list.ru wrote: On Tuesday, March 5, 2013 1:16:15 PM UTC+2, advanced...@list.ru wrote: On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote: Hi Stephen, On 25 Jan 2013, at 18:06, Stephen P. King wrote:

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance
On Tuesday, March 5, 2013 3:33:28 PM UTC+2, Stephen Paul King wrote: On 3/5/2013 6:23 AM, advanced...@list.ru javascript: wrote: On Tuesday, March 5, 2013 1:16:15 PM UTC+2, advanced...@list.ru wrote: On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote: Hi Stephen,

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance
On Tuesday, March 5, 2013 4:48:10 PM UTC+2, advanced...@list.ru wrote: On Tuesday, March 5, 2013 3:33:28 PM UTC+2, Stephen Paul King wrote: On 3/5/2013 6:23 AM, advanced...@list.ru wrote: On Tuesday, March 5, 2013 1:16:15 PM UTC+2, advanced...@list.ru wrote: On Sunday, January 27,

Re: Generalized Löb's Theorem

2013-01-28 Thread Bruno Marchal
Hi Stephen, On 25 Jan 2013, at 18:06, Stephen P. King wrote: Have you seen this? What implications does it have? http://arxiv.org/ftp/arxiv/papers/1301/1301.5340.pdf If the result is correct (which I think it is) it is a nice generalization of Löb's theorem. It makes it somehow more

Generalized Löb's Theorem

2013-01-25 Thread Stephen P. King
Dear Bruno, Have you seen this? What implications does it have? http://arxiv.org/ftp/arxiv/papers/1301/1301.5340.pdf -- Onward! Stephen -- You received this message because you are subscribed to the Google Groups Everything List group. To post to this group, send email to