Про Гёделя

https://lex-kravetski.livejournal.com/758112.html

Утверждение 1:
Гёдель не сможет доказать утверждение 1.

Существуют такие утверждения, которые принципиально не может доказать непротиворечивый автомат.

Однако смотрите, автомат не сможет доказать утверждение 1, но мы-то в это время как раз доказали, что он не сможет! Как вам такое?

Помнится, мы на схожую тему с gul_kiev тут зарубались.
Да, мы можем доказать, что алгоритм не может что-то там доказать, не потому что мы умнее алгоритма, а потому что его принудили к самореференции, а сами можем, когда нам удобнее, забыть про саморефлексию.

x-post: https://livelight.livejournal.com/653296.html