2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: О соотношении чистой и прикладной математики
Сообщение22.08.2012, 10:32 
Заслуженный участник
Аватара пользователя


28/09/06
11262
hazzo в сообщении #608954 писал(а):
Читаете хорошо что в цитате. Это и есть про проблему останова в общем случае.
Во-первых, исправьте оформление цитаты: У Вас получилась цитата внутри цитаты.

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

 Профиль  
                  
 
 хм
Сообщение22.08.2012, 13:26 


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

 Профиль  
                  
 
 Re: О соотношении чистой и прикладной математики
Сообщение22.08.2012, 15:17 
Заслуженный участник
Аватара пользователя


28/09/06
11262
hazzo в сообщении #609003 писал(а):
В цитате не говорилось о конкретной программе.
Вообще-то фраза "Вот Вы написали некоторую программу..." - достаточно очевидным образом подразумевает, что написали некоторую конкретную программу. :wink:

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

 Профиль  
                  
 
 Re: О соотношении чистой и прикладной математики
Сообщение23.08.2012, 08:44 
Заслуженный участник
Аватара пользователя


23/11/06
4171
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).$

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group