News for hackers. Stuff that matters.

A comment on Rice’s Theorem: An interactive tutorial. Parent comment

Re:Rice’s Theorem: An interactive tutorial by vladsotirov on Sunday November 27, 2022 @08:12PM (#33768733)
The second Q needs no input because it is not executed: its source code is used as input for the first Q.
[ Parent | on HN ]
Re:Rice’s Theorem: An interactive tutorial by wizeman on Sunday November 27, 2022 @08:33PM (#33768846)
> The second Q needs no input because it is not executed: its source code is used as input for the first Q.

But Q is the source code of a program that needs an input.

How would you determine if Q halts or not, if you don't give it an input?

[ Parent | on HN ]