Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 4 из 6 |
[ Сообщений: 51 ] | На страницу Пред. 1, 2, 3, 4, 5, 6 След. |
|
Автор | Сообщение | ||
---|---|---|---|
Trakovski |
|
||
O Micron писал(а): Так вот, обсуждаемая теорема утверждает, что принципиально не может существовать программа, автоматизирующая поиск зацикливаний в исходниках. Подобное утверждения меня сильно удивило. А Вас? Нисколько! Я знал это давно, еще в советское время, тогда обсуждаемая теорема еще и не была сформулирована. Но каждый серьезный программист знал: "Цикл" можно остановит только внешним воздействием, или внутри цикла должен быть счетчик, выводящий машину из цикла, как в стандартном операторе. Это не противоречит объективным природным законам. Непредвиденно возникший цикл "живет" в работающей машине до того момента, пока оператор не вмешается или что то другое не остановит машину. Те циклы, которые предусмотрены в программе "живут" ровно столько, сколько предусмотрено разработчиком программы. Если говорить еще проще, то предусмотренный человеком цикл в программе - домашнее животное в крестьянском хозяйстве. А непредвиденный, внезапно возникший - дикое животное, ворвавшееся во двор к крестьянину и способное свести на нет все усилия человека. Таких обычно "отстреливают". Все в пределах существующих законов взаимоотношений человека и окружающей природы, чему тут удивляться? А то что "звери" в виде ошибок разработчиков программ могут быть мы знаем. Соответственно должны принимать меры предосторожности, по меньшей мере возведение вокруг забора перед началом строительства основных объектов хозяйства - вполне разумный шаг. |
|||
Вернуться к началу | |||
ivashenko |
|
||
Задача состоит не в остановке цикла, а в составлении алгоритма, определяющего, будет ли этот цикл бесконечным при таком- то входе, для произвольного входа или нет.
Теорема утверждает, что такого алгоритма не существует. |
|||
Вернуться к началу | |||
ivashenko |
|
||
Проблема вероятнее всего в том, что компьютер не может работать с бесконечностями, а мышление человека основано на других принципах и другой математике, поэтому в сознании человека такой универсальный алгоритм есть.
|
|||
Вернуться к началу | |||
Trakovski |
|
||
ivashenko писал(а): Задача состоит не в остановке цикла, а в составлении алгоритма, определяющего, будет ли этот цикл бесконечным при таком- то входе, для произвольного входа или нет. Теорема утверждает, что такого алгоритма не существует. Разрабатывайте! Вам не привыкать! Я знаю что это невозможно, тогда зачем тужится? Вы же сами признаетесь в своем невежестве, то есть не ведаете, а на современном языке - не знаете. Знать и гадать - совершенно разные подходы к любому делу. Я предпочитаю знать, а не гадать! Читать и понимать прочитанное вам все же следует научиться. А то я про Ерему, а вы про Фому. |
|||
Вернуться к началу | |||
ivashenko |
|
||
Вот именно, уважаемый O Micron спрашивает Вас про Ерему, а Вы ему про Фому.
|
|||
Вернуться к началу | |||
ivashenko |
|
||
Уважаемый Trakovski, когда- то люди "знали", что невозможно пользоваться огнем, и людей, которые этому научились первыми тоже обвиняли в колдовстве
|
|||
Вернуться к началу | |||
ivashenko |
|
||
Если бы люди только "знали" и ни в чем не сомневались, то до сих пор жили бы в каменном веке
|
|||
Вернуться к началу | |||
Trakovski |
|
||
ivashenko писал(а): Вот именно, уважаемый O Micron спрашивает Вас про Ерему, а Вы ему про Фому. А вы тут причем? Он закончил разговор с вами! Не мешайтесь под ногами со своим "умным видом"! |
|||
Вернуться к началу | |||
ivashenko |
|
||
Он то разговор со мной закончил, однако ничто не мешает его продолжить, а я не перестал принимать участие в дискуссии. Уважаемый Trakovski, не раздражайтесь
|
|||
Вернуться к началу | |||
Trakovski |
|
||
ivashenko писал(а): Он то разговор со мной закончил, однако ничто не мешает его продолжить, а я не перестал принимать участие в дискуссии. Для того, что бы принимать участие в дискуссии, надо знать если не все, то хотя бы что то о предмете разговора. А ваши реплики выдают вас с головой как абсолютного дилетанта в обсуждаемой проблеме. Простите, но на форуме мало таких "знающих" как вы. Но они есть, общайтесь с ними в палате № 6. |
|||
Вернуться к началу | |||
На страницу Пред. 1, 2, 3, 4, 5, 6 След. | [ Сообщений: 51 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Дефекты и остановки вентиляторов и насосов
в форуме Теория вероятностей |
3 |
395 |
10 фев 2015, 19:54 |
|
Какое расстояние пройдёт центр шарика до остановки?
в форуме Механика |
2 |
109 |
15 авг 2023, 15:55 |
|
Какой путь пройдёт груз до окончательной остановки?
в форуме Механика |
15 |
341 |
19 авг 2023, 14:07 |
|
Задачи без "точки остановки"
в форуме Комбинаторика и Теория вероятностей |
0 |
333 |
26 июн 2019, 00:08 |
|
Две проблемы
в форуме Геометрия |
18 |
749 |
11 июн 2023, 12:08 |
|
Две проблемы
в форуме Геометрия |
8 |
628 |
09 мар 2023, 23:05 |
|
Проблемы с пределами
в форуме Пределы числовых последовательностей и функций, Исследования функций |
4 |
369 |
19 окт 2015, 12:59 |
|
Проблемы с циклом for
в форуме MathCad |
0 |
502 |
01 июн 2015, 14:28 |
|
Проблемы с геометрией | 6 |
455 |
02 май 2018, 17:41 |
|
Проблемы с геометрией. | 1 |
283 |
09 апр 2018, 16:38 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 18 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |