Văn bản này: Gödel, Putnam, and functionalism