although, as schoen and jlokier have patiently explained, you're mistaken about the halting problem, it's a productive and interesting mistake, and others have taken your line of thinking a great deal further than you have even begun to imagine! you may be interested in reading about their work: https://en.wikipedia.org/wiki/Intuitionistic_logic