“It is not possible to create a computer program A that when given any program B as input can determine whether or not B produces “hello world” as its first statement”.? need proof.
Asked
Active
Viewed 50 times
0
-
Create a TM B that outputs "hello world" if program A says that its input won't, and outputs something else if program A says that its input will. – Welbog Jun 10 '21 at 10:20
-
Can you please help with some theorem? – Sajjad Sarwar Jun 10 '21 at 11:11
-
I believe I did. What are you confused about, specifically? – Welbog Jun 10 '21 at 13:00
-
he problem is that statement itself says it is not possible, we need to figure out it impossibility through some theorem – Sajjad Sarwar Jun 11 '21 at 06:59
-
If proof by contradiction isn't the kind of proof you need, then I suggest looking at other proofs of noncomputability until you find an existing theorem that fits. I don't see the point as it's easy to demonstrate a contradiction. – Welbog Jun 11 '21 at 09:50