why there can't be a program that checks another program

Posted by Night Walker on Stack Overflow See other posts from Stack Overflow or by Night Walker
Published on 2010-04-28T21:56:08Z Indexed on 2010/04/28 22:07 UTC
Read the original article Hit count: 327

Filed under:

turing-machines

|

halting-problem

|

turing-complete

Hello all

I am trying to find the logical alan turing explanation why there can't be a program that checks another programs.

I remember we learned in on the computation course but now i just can't find the solution , and i need to explain it to some one at my work .

Thanks for help.

© Stack Overflow or respective owner

Related posts about turing-machines

Turing machines of prime number

as seen on Stack Overflow - Search for 'Stack Overflow'
how to create a turing machine of prime number? >>> More
Turing machine halting problem

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I have a question about turing machines and halting problem. Suppose that we have Atm = {(M,w) where M is a turing machine and w is an input} and HALTtm = {(M,w) where M is a turing machine halts with an input w} I want to prove that HALTtm<=m Atm I've tried some methods but I think they're… >>> More
How to create a Turing machine that takes a single digit decimal number from 0 - 9 and output the cu

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm working on a project for a Turning machine but having problems conceptualizing the steps. f(x) = x^3, where x is a single digit between 0 - 9 inclusive. Based on my understanding I am to convert the number to binary but how do I find the cube of a number in binary. Also, how do I write the… >>> More
Turing Model Vs Von Neuman model

as seen on Stack Overflow - Search for 'Stack Overflow'
First some background (based on my understanding).. The Von-Neumann architecture describes the stored-program computer where instructions and data are stored in memory and the machine works by changing it's internal state, i.e an instruction operated on some data and modifies the data. So inherently… >>> More
What is the relationship between Turing Machine & Modern Computer ? [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I heard a lot that modern computers are based on Turing machine. I just cannot build a bridge between a conceptual Turing Machine and a modern computer. Could someone help me build this bridge? Below is my current understanding. I think the computer is a big general-purpose Turing machine. Each… >>> More

Related posts about halting-problem

Turing machine halting problem

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I have a question about turing machines and halting problem. Suppose that we have Atm = {(M,w) where M is a turing machine and w is an input} and HALTtm = {(M,w) where M is a turing machine halts with an input w} I want to prove that HALTtm<=m Atm I've tried some methods but I think they're… >>> More
Is there a "good enough" solution for the halting problem?

as seen on Stack Overflow - Search for 'Stack Overflow'
It is known that the halting problem cannot have a definite solution, one that a) returns true <== the program does indeed halt, and b) handles any input, but I was wondering if there are good enough solutions to the problem, ones that can maybe handle certain types of program flows perfectly,… >>> More
Practical non-Turing-complete languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Nearly all programming languages used are Turing Complete, and while this affords the language to represent any computable algorithm, it also comes with its own set of problems. Seeing as all the algorithms I write are intended to halt, I would like to be able to represent them in a language that… >>> More
why there can't be a program that checks another program

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello all I am trying to find the logical alan turing explanation why there can't be a program that checks another programs. I remember we learned in on the computation course but now i just can't find the solution , and i need to explain it to some one at my work . Thanks for help. >>> More
Theoretically bug-free programs

as seen on Programmers - Search for 'Programmers'
I have read lot of articles which state that code can't be bug-free, and they are talking about these theorems: Halting problem Gödel's incompleteness theorem Rice's theorem Actually Rice's theorem looks like an implication of the halting problem and the halting problem is in close relationship… >>> More