Pātuhitia tēnei: Gödel, Putnam, and functionalism