Comment by laszlokorte

no you can't. only for some of the inputs. and for those you could also write an algorithmic doesHalt function that is analog to your reasoning.