發送短信: Gödel, Putnam, and functionalism