I think 'rational' and 'conscious' is as well stated as 'turing complete' :) - looks great on paper but indeed is untractable, unobtainium. We can even discuss using terms which are not rigorously functionally understood and defined, can't we?