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: >>> >>> >>>

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

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 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 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 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 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

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 so