Entry tags:
Про Гёделя
https://lex-kravetski.livejournal.com/758112.html
Утверждение 1:
Гёдель не сможет доказать утверждение 1.
Существуют такие утверждения, которые принципиально не может доказать непротиворечивый автомат.
Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?
Помнится, мы на схожую тему с![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
gul_kiev тут зарубались.
Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.
x-post: https://livelight.livejournal.com/653296.html
Утверждение 1:
Гёдель не сможет доказать утверждение 1.
Существуют такие утверждения, которые принципиально не может доказать непротиворечивый автомат.
Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?
Помнится, мы на схожую тему с
gul_kiev тут зарубались.Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.
x-post: https://livelight.livejournal.com/653296.html