Re: Generalized Löb's Theorem

2013-03-10 Thread advancedguidance
of the Löb's theorem.*http://amsmtgs/2210_abstracts/1089-03-60.pdf http://www.ams.org/amsmtgs/2210_abstracts/1089-03-60.pdf *Jaykov Foukzon**, Israel Institute of Technology, Haifa, Israel (1089-03-60) Hi advancedguidance, Same paper... -- Onward! http://ru.scribd.com/doc/129443535

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 advancedguidance
**, Israel Institute of Technology, Haifa, Israel (1089-03-60) Hi advancedguidance, Same paper... -- Onward! Stephen Yes. -- You received this message because you are subscribed to the Google Groups Everything List group. To unsubscribe from this group and stop receiving emails from

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance
://www.ams.org/amsmtgs/2210_abstracts/1089-03-60.pdf *Jaykov Foukzon**, Israel Institute of Technology, Haifa, Israel (1089-03-60) Hi advancedguidance, Same paper... -- Onward! Stephen Yes. Stephen Paul King wrote: What implications does it have? Post reply [image: More