В философии непознаваемость — это возможность изначально недоступного знания . Она затрагивает эпистемологию того, что мы не можем знать. Некоторые связанные концепции включают в себя проблему остановки , пределы знания, неизвестные неизвестные и теорию хаоса .
Николас Решер представил новейшее исследование в этой области в работе «Непознаваемость : исследование пределов знания» [1] , где он предложил три категории высокого уровня: логическую непознаваемость, концептуальную непознаваемость и принципиальную непознаваемость.
Спекуляция о том, что познаваемо и непознаваемо, была частью философской традиции с момента зарождения философии. В частности, в «Теории атрибутов» Баруха Спинозы [2] утверждается, что конечный разум человека не может постичь бесконечную субстанцию; соответственно, бесконечная субстанция, как она есть сама по себе, в принципе непознаваема для конечного разума.
Иммануил Кант сосредоточил внимание на теории непознаваемости, используя концепцию ноумена . Он постулировал, что, хотя мы можем знать, что ноумен существует, он сам по себе не является разумным и, следовательно, должен оставаться непознаваемым.
Современные исследования охватывают неразрешимые проблемы и вопросы, такие как проблема остановки, на которые по своей природе невозможно ответить. Эта область исследований имеет долгую и несколько размытую историю, поскольку эта проблема возникает во многих областях научных и практических исследований.
Решер подразделяет непознаваемость на три основные категории:
Принципиальная непознаваемость может также быть вызвана необходимостью большего количества энергии и материи, чем доступно во вселенной, чтобы ответить на вопрос, или фундаментальными причинами, связанными с квантовой природой материи. В физике специальной и общей теории относительности световой конус отмечает границу физически познаваемых событий. [3] [4]
Проблема остановки, а именно проблема определения того, закончат ли когда-нибудь работать произвольные компьютерные программы, является ярким примером непознаваемости, связанной с устоявшейся математической областью теории вычислимости . В 1936 году Алан Тьюринг доказал, что проблема остановки неразрешима. Это означает, что не существует алгоритма, который может принять в качестве входных данных программу и определить, остановится ли она. В 1970 году Юрий Матиясевич доказал, что диофантова проблема (тесно связанная с десятой проблемой Гильберта ) также неразрешима, сведя ее к проблеме остановки. [5] Это означает, что не существует алгоритма, который может принять в качестве входных данных диофантово уравнение и всегда определить, имеет ли оно решение в целых числах.
Неразрешимость проблемы остановки и диофантовой проблемы имеет ряд последствий для математики и компьютерных наук. Например, это означает, что не существует общего алгоритма для доказательства истинности или ложности данного математического утверждения. Это также означает, что не существует общего алгоритма для поиска решений диофантовых уравнений.
В принципе, многие проблемы можно свести к проблеме остановки. См. список неразрешимых проблем .
Теоремы Гёделя о неполноте демонстрируют неявную принципиальную непознаваемость методов доказательства непротиворечивости и полноты фундаментальных математических систем.
Существуют различные градации непознаваемости, связанные с рамками обсуждения. Например:
Обработка знаний была широкой и разнообразной. Сама Википедия является инициатором сбора и записи знаний с использованием современных технологических инструментов. Более ранние попытки сбора и записи знаний включают написание глубоких трактатов по конкретным темам, а также использование энциклопедий для организации и обобщения целых областей или даже всей полноты человеческих знаний.
Связанная с этим тема, которая часто возникает, — это пределы знаний.
Примеры научных дискуссий, затрагивающих вопросы ограничений знаний, включают:
Григорий Хайтин во многих своих работах рассуждает о непознаваемости.
Популярное обсуждение непознаваемости выросло с использованием фразы « Есть неизвестные неизвестные» министром обороны США Дональдом Рамсфелдом на брифинге для прессы 12 февраля 2002 года. В дополнение к неизвестным неизвестным существуют известные неизвестные и неизвестные известные. Эти метки категорий появились в обсуждении идентификации химических веществ. [10] [11] [12]
Теория хаоса — это теория динамики, которая утверждает, что для достаточно сложных систем, даже если мы достаточно хорошо знаем начальные условия, ошибки измерений и вычислительные ограничения делают невозможным полностью правильное долгосрочное прогнозирование, тем самым гарантируя окончательную непознаваемость поведения физической системы.