Tuesday, May 27, 2008
CCCCppppCCppp or (¤A->A)→¤A
About Me
- Name: CCCCppppCCppp
- Location: Long Island, United States
i.e. A->A->A->A->.A->A->A or (((A->A)->A)->A)->((A->A)->A) Löb's Theorem
(but not enough to fulfill the proverb from Marriage of Heaven and Hell)
0 Comments:
Post a Comment
<< Home