Про Гёделя
https://lex-kravetski.livejournal.com/758112.html
Утверждение 1:
Гёдель не сможет доказать утверждение 1.
Существуют такие утверждения, которые принципиально не может доказать непротиворечивый автомат.
Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?
Помнится, мы на схожую тему с @gul_kiev тут зарубались.
Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.
x-post: https://livelight.dreamwidth.org/584155.html
Утверждение 1:
Гёдель не сможет доказать утверждение 1.
Существуют такие утверждения, которые принципиально не может доказать непротиворечивый автомат.
Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?
Помнится, мы на схожую тему с @gul_kiev тут зарубались.
Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.
x-post: https://livelight.dreamwidth.org/584155.html