Наука: различия между версиями

<!-- Эксперимент предполагает обязательную возможность воспроизведения изучаемого объекта или явления и получения одного и того же ответа на заданный экспериментатором вопрос. В этом — его суть. Отсюда следует, что объектом научного исследования могут быть лишь повторяющиеся явления и события. Если же они представляют собой принципиально неповторяемые, принципиально происходящие только один раз, то они не могут быть объектом научного изучения<ref name="МЛИ">''Мандельштам Л. И.'' Лекции по оптике, теории относительности и квантовой механике. Изд-во «Наука» М.: 1972.</ref>. В этой области наука бессильна. Попытки использовать её методологию неизбежно приводят, независимо от желания исследователя, к выходу за пределы науки. — явная неправда или неточность. Большой взрыв был только один раз, но это не мешает его научно исследовать. Как минимум надо переформулировать. Melirius -->

 

[[Гёдель, Курт|Курт Гедель]] в 1930 году доказал теорему, названную [[Теорема Гёделя о неполноте|второй теоремой Гёделя]], что находясь в рамках любой непротиворечивой формальной системы, включающей [[Арифметика|арифметику]] [[Натуральное число|натуральных чисел]], нельзя доказать её непротиворечивость. Таким образом не существует универсальной математической математической теории, непротиворечиво описывающей все явлений мира.<br>

[[Тьюринг, Алан|Алан Тьюринг]], показал наличие алгоритмически неразрешимых задач, в частности доказал в 1936 году, что [[проблема остановки]] [[неразрешимость|неразрешима]] на [[машина Тьюринга|машине Тьюринга]]. Существование алгоритмически неразрешимых задач означает, что не существует универсального алгоритма-решателя, который бы создавал решение задачи, даже если существует её точное логическое описание. <br> Таким образом была показана неоднозначность и ограниченность описания мира средствами математики, что существует возможность представления математическими системами только определённых сторон, аспектов и срезов мира, математически мир может быть отражён только с использованием различных, в том числе противоречащих друг другу средств. <br>