Can computational functionalism be defined?