No, it means there is no general solution to the problem of proving software correct. You can prove if a specific program will halt or not given certain paramet

No, it means there is no general solution to the problem of proving software correct. You can prove if a specific program will halt or not given certain parameters. You cannot write an algorithm that will work to prove if any arbitrary program will halt.