(but not enough to fulfill the proverb from Marriage of Heaven and Hell)
posted by CCCCppppCCppp at 12:02 AM
The cat comes in on little fog feet.
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
1 Comments:
The cat comes in on little fog feet.
Post a Comment
<< Home