أرسل هذا في رسالة قصيرة: Gödel, Putnam, and functionalism