На главную
ПРАВИЛА FAQ Помощь Участники Календарь Избранное RSS
msm.ru
! Правила раздела Наука и Техника.
В этом разделе обсуждается наука, техническая и гуманитарная, а также философия и другие интересные вещи :)
Пожалуйста, примите во внимание следующее:

1. Приветствуются разные темы. Например, если Вы хотите рассказать что-нибудь интересное из области естественных или гуманитарных наук, добро пожаловать. Но не надо публиковать не подкрепленных фактами опровержений современной науке. Сначала попробуйте найти ошибку у себя - скорее всего она именно в Ваших рассуждениях.
2. Пожалуйста, не путайте философию и вымысел. В этом разделе не обсуждается мистика, магия и прочие темы подобного рода.
3. Вы можете выражать аргументированную критику по любому вопросу. Но писать, "это глупость" или "современные ученые - дураки" не надо. Просто потому, что в этом случае Вы рискуете получить наказание от модератора.
4. Если Вы нашли на просторах Интернета интересную новость из области науки, пожалуйста, опубликуйте ее в специальном разделе, и не забудьте указать источник.

Приятного общения!
Модераторы: Братец Лис, B.V.
Страницы: (4) « Первая ... 2 3 [4]  все  ( Перейти к последнему сообщению )  
> Вопрос о микроволновке: опасность облучения СВЧ.
    Цитата Сергей85 @
    А ведь был ведь вопрос о микроволновке, технический.

    Был, на него был дан ответ - на излучение пофигу, т.к. оно не ионизирующее, и мощность, которая до тебя дойдёт, тебе не сделает ровным счётом ничего. Но тебе, судя по всему, нужен не ответ на вопрос, а подтверждение точки зрения, которую ты уже сформировал. А над этим да, только стебаться можно :yes:
      Цитата Qraizer @
      Цитата scrambrella @
      Может делаете тонны документации на ПО по ЕСПД?
      Гигабайты. А что?

      А можете объяснить для чайника что эти гигабайты доказывают. Забудем про проблему остановки.
      Вот одна программа сгенерировала гигабайты доказательства корректности сертифицируемой программы. Вторая программа проверила эти гигабайты и сказала, что всё в порядке.
      Где гарантия, что ни в первой проверяющей программе ни во второй нет багов?
      Где гарантия, что в исполняющем программы процессоре нет багов, что в процессе проверки не произошло ни одной ошибки чтения-записи памяти?
      Как эти гигабайты убедят покупателя сертифицированной программы в том, что в ней нет багов?
        Гарантий нет. Более того, уже доказано, что невозможно составить алгоритм, который получив на вход произвольную программу, выдаст гарантированное заключение об её корректности.
        Обязательно среди всех возможных программ найдётся некоторое количество, которые этим алгоритмом проверить не удастся. И хорошо, если алгоритм об этой неудаче сообщит.
          Как задать понятие о корректности проверяемой программы проверяющей программе? Для этого надо без ошибок описать алгоритм проверяемой программы. А это тоже нуждается в проверке. Дурная бесконечность одним словом.
          1 пользователей читают эту тему (1 гостей и 0 скрытых пользователей)
          0 пользователей:


          Рейтинг@Mail.ru
          [ Script execution time: 0,0204 ]   [ 14 queries used ]   [ Generated: 30.07.21, 02:09 GMT ]