Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу Пред.  1, 2, 3, 4, 5, 6  След.
Автор Сообщение
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 08:35 
Не в сети
Оракул
Зарегистрирован:
21 дек 2012, 19:20
Сообщений: 852
Cпасибо сказано: 84
Спасибо получено:
148 раз в 109 сообщениях
Очков репутации: 3

Добавить очки репутацииУменьшить очки репутации
O Micron писал(а):
Так вот, обсуждаемая теорема утверждает, что принципиально не может существовать программа, автоматизирующая поиск зацикливаний в исходниках.
Подобное утверждения меня сильно удивило. А Вас?

Нисколько! Я знал это давно, еще в советское время, тогда обсуждаемая теорема еще и не была сформулирована. Но каждый серьезный программист знал: "Цикл" можно остановит только внешним воздействием, или внутри цикла должен быть счетчик, выводящий машину из цикла, как в стандартном операторе.
Это не противоречит объективным природным законам. Непредвиденно возникший цикл "живет" в работающей машине до того момента, пока оператор не вмешается или что то другое не остановит машину. Те циклы, которые предусмотрены в программе "живут" ровно столько, сколько предусмотрено разработчиком программы.
Если говорить еще проще, то предусмотренный человеком цикл в программе - домашнее животное в крестьянском хозяйстве. А непредвиденный, внезапно возникший - дикое животное, ворвавшееся во двор к крестьянину и способное свести на нет все усилия человека. Таких обычно "отстреливают". Все в пределах существующих законов взаимоотношений человека и окружающей природы, чему тут удивляться? А то что "звери" в виде ошибок разработчиков программ могут быть мы знаем. Соответственно должны принимать меры предосторожности, по меньшей мере возведение вокруг забора перед началом строительства основных объектов хозяйства - вполне разумный шаг.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 08:43 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Задача состоит не в остановке цикла, а в составлении алгоритма, определяющего, будет ли этот цикл бесконечным при таком- то входе, для произвольного входа или нет.
Теорема утверждает, что такого алгоритма не существует.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 08:51 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Проблема вероятнее всего в том, что компьютер не может работать с бесконечностями, а мышление человека основано на других принципах и другой математике, поэтому в сознании человека такой универсальный алгоритм есть.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:02 
Не в сети
Оракул
Зарегистрирован:
21 дек 2012, 19:20
Сообщений: 852
Cпасибо сказано: 84
Спасибо получено:
148 раз в 109 сообщениях
Очков репутации: 3

Добавить очки репутацииУменьшить очки репутации
ivashenko писал(а):
Задача состоит не в остановке цикла, а в составлении алгоритма, определяющего, будет ли этот цикл бесконечным при таком- то входе, для произвольного входа или нет.
Теорема утверждает, что такого алгоритма не существует.

Разрабатывайте! Вам не привыкать! Я знаю что это невозможно, тогда зачем тужится?
Вы же сами признаетесь в своем невежестве, то есть не ведаете, а на современном языке - не знаете. Знать и гадать - совершенно разные подходы к любому делу. Я предпочитаю знать, а не гадать!
Читать и понимать прочитанное вам все же следует научиться. А то я про Ерему, а вы про Фому.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:15 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Вот именно, уважаемый O Micron спрашивает Вас про Ерему, а Вы ему про Фому.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:22 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Уважаемый Trakovski, когда- то люди "знали", что невозможно пользоваться огнем, и людей, которые этому научились первыми тоже обвиняли в колдовстве :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:34 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Если бы люди только "знали" и ни в чем не сомневались, то до сих пор жили бы в каменном веке :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:39 
Не в сети
Оракул
Зарегистрирован:
21 дек 2012, 19:20
Сообщений: 852
Cпасибо сказано: 84
Спасибо получено:
148 раз в 109 сообщениях
Очков репутации: 3

Добавить очки репутацииУменьшить очки репутации
ivashenko писал(а):
Вот именно, уважаемый O Micron спрашивает Вас про Ерему, а Вы ему про Фому.

А вы тут причем? Он закончил разговор с вами! Не мешайтесь под ногами со своим "умным видом"!

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 09:47 
Не в сети
Light & Truth
Зарегистрирован:
28 мар 2014, 23:59
Сообщений: 6312
Cпасибо сказано: 633
Спасибо получено:
509 раз в 477 сообщениях
Очков репутации: 47

Добавить очки репутацииУменьшить очки репутации
Он то разговор со мной закончил, однако ничто не мешает его продолжить, а я не перестал принимать участие в дискуссии. Уважаемый Trakovski, не раздражайтесь :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Решение "проблемы остановки"
СообщениеДобавлено: 29 июн 2014, 10:31 
Не в сети
Оракул
Зарегистрирован:
21 дек 2012, 19:20
Сообщений: 852
Cпасибо сказано: 84
Спасибо получено:
148 раз в 109 сообщениях
Очков репутации: 3

Добавить очки репутацииУменьшить очки репутации
ivashenko писал(а):
Он то разговор со мной закончил, однако ничто не мешает его продолжить, а я не перестал принимать участие в дискуссии.

Для того, что бы принимать участие в дискуссии, надо знать если не все, то хотя бы что то о предмете разговора. А ваши реплики выдают вас с головой как абсолютного дилетанта в обсуждаемой проблеме.
Простите, но на форуме мало таких "знающих" как вы. Но они есть, общайтесь с ними в палате № 6.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу Пред.  1, 2, 3, 4, 5, 6  След.  Страница 4 из 6 [ Сообщений: 51 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Дефекты и остановки вентиляторов и насосов

в форуме Теория вероятностей

Valeria_2015

3

395

10 фев 2015, 19:54

Какое расстояние пройдёт центр шарика до остановки?

в форуме Механика

MuCTeP_TTP0

2

109

15 авг 2023, 15:55

Какой путь пройдёт груз до окончательной остановки?

в форуме Механика

MuCTeP_TTP0

15

341

19 авг 2023, 14:07

Задачи без "точки остановки"

в форуме Комбинаторика и Теория вероятностей

HJey

0

333

26 июн 2019, 00:08

Две проблемы

в форуме Геометрия

perash

18

749

11 июн 2023, 12:08

Две проблемы

в форуме Геометрия

perash

8

628

09 мар 2023, 23:05

Проблемы с пределами

в форуме Пределы числовых последовательностей и функций, Исследования функций

lordvan

4

369

19 окт 2015, 12:59

Проблемы с циклом for

в форуме MathCad

zagorka

0

501

01 июн 2015, 14:28

Проблемы с геометрией

в форуме Литература и Онлайн-ресурсы по математике

MAXmatimatics

6

455

02 май 2018, 17:41

Проблемы с геометрией.

в форуме Аналитическая геометрия и Векторная алгебра

Denis2299

1

283

09 апр 2018, 16:38


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved