ТОЧКА

«Биология», «физика», «право» и другие названия областей здесь тоже предъявлены как слова. Принадлежность записи к области не освобождает её от процедуры: сохранить написанное, отдельно предъявить добавление, указать приписанное отношение и повторить разбор для самого объяснения.

Ниже приведены специально составленные учебные записи. Снимки, документы и данные названы как возможные добавления к упражнению; реальные материалы наблюдений, дел или расчётов здесь не предъявлены.

Для каждого прохода заранее зафиксировать рассматриваемый состав: исходную запись, конкретное добавление и запись приписанного статуса. Добавление основания может изменить обоснованность чтения. Оно не превращает написанное в названное. Непредъявленное в выбранном составе не объявляется отсутствующим вообще.

«Математика», «число», «модель», «шаг» и «доказательство» сначала входят в этот разбор как предъявленные написания. Формула, условие задачи и запись вывода сохраняются в точном виде. Выбранное математическое чтение также подлежит разбору.

Запись числа шагов не выполняет эти шаги. Обозначение машины на странице не выполняет вычисление одним своим появлением. Определение, доказательство и запись проверки применяются в разборе как предъявленный материал; признание их обоснованными не предоставляет исключения из границы.

В разборе P и NP сохраняется тот же порядок: обозначения, определения, предполагаемый вывод и его объяснение. Записанное объяснение не получает исключения из границы, когда объясняет другую запись.

Даже если вывод обоснован по указанным правилам и принят по предъявленным критериям, его запись не становится названным. Буква «M» не выполняет вычисление. Запись числа шагов не выполняет эти шаги. К записанному обоснованию применяется та же граница.

Оговорки источника также входят в разбор. Кук отдельно различает полиномиальную сложность и практическую выполнимость: в тексте приведён пример числа шагов n в степени 100. Поэтому безусловное отождествление этих выражений нельзя приписывать постановке.

Кук — постановка, с. 1–4, 9–10

Этот проход не предъявляет доказательства равенства или неравенства P и NP. Слово «решено», добавленное к разбору, также потребует основания. К этому тексту применяется та же граница.

Так можно сопоставить написанное, записанное прочтение и предъявленные основания, сохраняя различие между ними. Отсутствие фразы в источнике само по себе не делает прочтение ложным.

Полученное объяснение тоже остаётся записью. Слова «значение», «основание», «вывод» и «граница» не становятся тем, что называют. Написанное утверждение о пользе исследования само по себе не устанавливает его действие на читателя.

К тексту этого исследования применяется та же граница.