Martin Davis Hilary Putnam