(but not enough to fulfill the proverb from Marriage of Heaven and Hell)
posted by CCCCppppCCppp at 10:34 PM
Post a Comment
<< Home
CCCCppppCCppp or (¤A->A)→¤A
i.e. A->A->A->A->.A->A->A or (((A->A)->A)->A)->((A->A)->A) Löb's Theorem
View my complete profile
0 Comments:
Post a Comment
<< Home