Re: The Cartoon Guide to Löb's Theorem

On 24 Sep 2014, at 12:00, Alberto G. Corona wrote: I still don't know what this theorem add to common sense. I mean, what it add out of his universe of formalizations in order to better formalize the obvious. It is not obvious at all. Replace p by false, and you get the incompleteness th

Re: The Cartoon Guide to Löb's Theorem

I still don't know what this theorem add to common sense. I mean, what it add out of his universe of formalizations in order to better formalize the obvious. In the other side, using the curry-howard isomorphism in which for each theorem there is a program: http://blog.sigfpe.com/2006/11/from-l-t

Re: The Cartoon Guide to Löb's Theorem + MWI is local

On 23 Sep 2014, at 04:29, LizR wrote: That link doesn't work on Firefox, at least not for me. But it seems OK on chrome... I eventually can see it, but that was hard. It is not so bad, but frankly it helps to study it without those not se easy to read drawing. I appreciate he says "prov

Re: The Cartoon Guide to Löb's Theorem

That link doesn't work on Firefox, at least not for me. But it seems OK on chrome... I'm sure anyone who can follow a "Doctro Who" episode written by Steven Moffat will have no trouble with that proof. -- You received this message because you are subscribed to the Google Groups "Everything List

Re: The Cartoon Guide to Löb's Theorem

(Damn you, fingers. Or even *Doctor* Who...) On 23 September 2014 14:29, LizR wrote: > That link doesn't work on Firefox, at least not for me. But it seems OK on > chrome... > > I'm sure anyone who can follow a "Doctro Who" episode written by Steven > Moffat will have no trouble with that proof.

The Cartoon Guide to Löb's Theorem

http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%83%C6%92%C3%86%E2%80%99%C3%83%E2%80%A0%C3%A2%E2%82%AC%E2%84%A2%C3%83%C6%92%C3%A2%E2%82%AC%C5%A1%C3%83%E2%80%9A%C3%82%C2%B6bs_theorem/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsu

Re: Cartoon Guide to Löb's Theorem

Le 17-août-08, à 22:45, Günther Greindl a écrit : > for those of you thinking about Bruno's theories, this is a nice little > tutorial to get up to speed on a bit of relevant logic: > > http://www.overcomingbias.com/2008/08/lobs-theorem.html > > The cartoon guide is also available via PDF: > ht

Cartoon Guide to Löb's Theorem

Hi everyone, for those of you thinking about Bruno's theories, this is a nice little tutorial to get up to speed on a bit of relevant logic: http://www.overcomingbias.com/2008/08/lobs-theorem.html The cartoon guide is also available via PDF: http://yudkowsky.net/LobsTheorem.pdf Cheers, Günther