Title: Go¨del, Putnam, and Functionalism