Anfonwch hwn fel neges destun: Gödel, Putnam, and functionalism