Putnam's argument targets reference-fixing for general terms; 'polynomial-time computable' has clear...
This proposition has not been edited since the history system was added.