Those arguments are plausible, and thanks for the clarification. I just hate to see Rice's theorem interpreted as "nobody can ever know if a program is correct

Those arguments are plausible, and thanks for the clarification. I just hate to see Rice's theorem interpreted as "nobody can ever know if a program is correct or not". People have been making a ton of progress on knowing if (some) programs are correct, and Rice's theorem never said they can't.