alan turing has been stuck in this cafe for decades pairing with godel