6,887 followers
@JRstract @JDHamkins Oh, missed them. F: the dichotomy was made obsolete by Lawvere's functorial semantics. G: Comme ci comme ça. H: He was picturing the hell known as P=NP. I: https://t.co/N5nVwrySx6 Smullyan was a smart guy. J: Lawvere's fixed point theo