Email Record: Gödel, Putnam, and functionalism :