(but not enough to fulfill the proverb from Marriage of Heaven and Hell)
posted by CCCCppppCCppp at 12:02 AM 1 comments
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