Re:Halting problem (Score 1)

Yes, but you can prove a program is totally correct for some precondition. I'd be interested in knowing if any languages have been developed that require the developer to somehow prove their programs correct with a negligible amount of pain. It's seems possible.