О соотношении чистой и прикладной математики

[epros]

hazzo в сообщении #608954 писал(а):

Читаете хорошо что в цитате. Это и есть про проблему останова в общем случае.

Во-первых, исправьте оформление цитаты: У Вас получилась цитата внутри цитаты.

Во-вторых, Вы очевидно не понимаете что такое "проблема останова в общем случае". Бывает так, что для конкретной программы можно доказать, что она имеет точку останова. Даже с уточнением: "для любого аргумента".

[hazzo]

что же такое "проблема останова в общем случае"?
В цитате не говорилось о конкретной программе.
А может по-русски читать не умею.

[epros]

hazzo в сообщении #609003 писал(а):

В цитате не говорилось о конкретной программе.

Вообще-то фраза "Вот Вы написали некоторую программу..." - достаточно очевидным образом подразумевает, что написали некоторую конкретную программу.

hazzo в сообщении #609003 писал(а):

что же такое "проблема останова в общем случае"?

Это значит написать программу, которая при подаче ей в качестве аргумента кода любой программы (вместе с аргументом для неё) скажет, остановится ли эта программа.

[--mS--]

eugrita в сообщении #606875 писал(а):

кстати какой вид сходимости обозначается символом стрелка вверх
поточечная (почти наверное) или другой?

Очевидно, монотонная сходимость в каждой точке: для любого $n\geqslant 1$, для любого $\omega\in\Omega$, $\xi_n(\omega)\leqslant \xi_{n+1}(\omega)$ и для любого $\omega\in\Omega$, $\xi_n(\omega)\to \xi(\omega).$