Cтраница 2
В моем изложении теоремы Геделя я опустил многие детали и к тому же оставил в стороне то, что относилось к неразрешимость вопроса о непротиворечивости системы аксиом и было исторически наиболее важной частью его доказательства. Моя задача состояла не в том, чтобы акцентировать внимание на проблеме доказуемости непротиворечивости аксиом, столь важной для Гильберта и его современников; я стремился показать, что специфическое утверждение Геделя - которое нельзя ни подтвердить, ни опровергнуть исходя из аксиом и правил вывода рассматриваемой формальной системы - оказывается с очевидностью верным, если опираться в наших рассуждениях на интуитивное понимание смысла применяемых процедур. [16]
Таким образом, характер поведения изоскалярных поверхностей в турбулентных потоках позволяет провести вполне определенную аналогию с перемежаемостью, а точнее, с ее качественным описанием, данным в § 1.1. Действительно, если под колебаниями предельных изоскалярных поверхностей иметь в виду внешнюю перемежаемость, а под колебаниями внутренних изоскалярных поверхностей - внутреннюю перемежаемость, то получится наглядная физическая модель турбулентной жидкости, близкая к образу губки, предложенному в § 1.1. Описанная модель турбулентной жидкости делает весьма прозрачным и смысл процедуры осреднения, с помощью которой в § 1.1 определялась граница турбулентной жидкости и тем самым выделялась внешняя перемежаемость. [17]
Учет затрат на частичный отказ от прав на участок недр зависит от состояния участка, который остается у компании. Так, если договор заключен на большую территорию, от части которой компания должна отказаться в строго оговоренный момент времени, а ведущаяся разведка оставшегося участка подает определенные надежды, то обесценение не происходит, поэтому убытки от отказа не отражаются. Смысл процедуры состоит в том, что, раз стоимость сохраняемого участка равна или превышает расходы на всю площадь, капитализированные суммы следует отражать как расходы по сохраняемому участку. В то же время, если частичный отказ означает снижение корпоративной оценки будущих экономических выгод, то всю лицензионную площадь следует оценить с точки зрения дополнительного снижения ее стоимости. Такое правило действует как в британской, так и в американской версиях метода результативных затрат. [18]
В обоих случаях термин приобретение не касается самого таинства экстрагирования структуры знания из потока информации о предметной области. Этот процесс описывается понятием извлечение. Авторы склонны использовать этот термин как более емкий и более точно выражающий, смысл процедуры переноса компетентности эксперта через инженера по знаниям в базу знаний ЭС. [19]
Наше исследование, кроме того, показало, что современные информационные языки, хотя и позволяют успешнее, чем обычные машинные языки, программировать такого рода задачи, все еще остаются сравнительно примитивными. Хотя трудно представить себе разработку этой программы в языке менее мощном, чем IPL-IV, все же потребуется еще очень много усилий, чтобы научиться поручать вычислительной машине процесс решения задач. Дальнейшие исследования в этой области нуждаются прежде всего в развитии методов решения задач с использованием при этом вычислительных машин как инструмента для расшифровки смысла вводимых процедур. [20]
Этот оператор задает вывод текстов, определяемых списком текстовых объектов вывода. Если текстовый объект - строка, то она выдается без внешних кавычек. Если текстовый объект - переменная с индексами, то она указывает на элемент массива, начиная с которого располагаются целые числа, соответствующие последовательным символам выводимой строки в смысле процедуры TEXT ( см. разд. Предполагается, что указанный элемент массива соответствует открывающей кавычке, которая не будет выведена. Конец строки определяется элементом массива, соответствующим закрывающей кавычке, которая также не выводится. В выводимых строках двоеточие используется только для изменения смысла следующего за ним символа: комбинация: В задает пробел при выводе, : / указывает переход к началу следующей строки, : X - переход к началу следующей страницы, : 1 задает вывод символа, : 2 - вывод символа: 3 - вывод символа:, : 4 указывает, что последующие за данной комбинацией цифры задают повторитель при выводе следующего нецифрового символа. [21]
Рациональное решение этого вопроса может существенно влиять на процедуры моделирования. Численная обусловленность матриц также в значительной мере зависит от соотношений между величинами параметров компонентов и их принадлежности к ветвям дерева или хордам. К сожалению, часто подобные требования оказываются взаимно противоречивыми и поэтому их нужно учитывать в зависимости от конкретных условий. Следует также заметить, что сам смысл процедур преобразования и решения уравнений в значительной мере подсказывает пути их рациональной детализации. [22]
Операторы вывода задают вывод числовых, логических или текстовых данных через канал, номер которого определяется первым фактическим параметром. Второй фактический параметр определяет формат вывода, а все следующие - объекты вывода. Исключение представляет собой оператор размещения, который не имеет объектов вывода. Если второй фактический параметр есть переменная с индексами, то она указывает на элемент массива, начиная с которого располагаются целые числа, соответствующие последовательным символам формата в смысле процедуры TEXT ( см. разд. [23]
Итак, процедуры могут иметь параметры, а могут и не иметь. Естественно, что возникает вопрос о том, когда параметры использовать, а когда нет. Опытные программисты интуитивно чувствуют, когда и какие процедуры следует использовать. Во-первых, чисто статистически процедуры с параметрами встречаются гораздо чаще, чем без параметров. Связано это с тем, что обычно процедура задает некоторую схему обработки, с помощью которой производятся вычисления над различными данными. Во-вторых, смысл процедуры легче понять, если в одном месте собрана информация обо всем ее окружении. Нет необходимости просматривать текст всей программы, чтобы определить типы переменных, с которыми работает процедура. [24]