Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Well the correct statement would be "to know the result of ANY computational process, in some cases you would have to run it".

For instance, there are many "simple programs" for which you can give the results by way of formal methods without running them. The incompleteness theorem says that there will exist one program for which you can't.



It says something more than that. There are necessarily infinitely many programs like that.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: