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
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
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
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
(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.
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
6 matches
Mail list logo