Cтраница 1
Предложенный вывод этой формулы имеет некоторый методический недостаток, так как в этом выводе по ходу дела уже использовалось понятие площади поверхности и ее аддитивность, правда, лишь в простейшем случае - для поверхностей усеченного конуса и их объединений. [1]
Предложенный вывод формулы (32.20) имеет некоторый недостаток, так как в этом выводе по ходу дела уже использовалось понятие площади поверхности и ее аддитивность, правда, лишь в простейшем случае - для поверхностей усеченного конуса и их объединений. [2]
В предложенном выводе теоремы, в отличие от классического вывода Жуковского, применены операции векторного исчисления, позволяющие, как нам представляется, при полном сохранении основной идеи вывода сделать его более наглядным. [3]
В предложенном выводе теоремы, в отличие от классического вывода Жуковского, применены операции векторного исчисления, позволяющие, как нам представляется, при полном сохранении основной идеи вывода сделать его более наглядным. [4]
Автор считает, что предложенный вывод точен. Справедливость конечного уравнения зависит только от того, насколько правильно исходное уравнение 1, так как не приняты какие-либо приближения или допущения. Во всяком случае, ошибка почти всегда ничтожно мала. [5]
Соответствие между этими данными является лишним подтвержде-лием правильности предложенных выводов. [6]
Замечу, что эта логика имеет два основных свойства. Во-первых, что наиболее важно, она корнями уходит в практику. Мы уже объясняли, почему было бы хорошо, чтобы наш компьютер рассуждал в терминах четырех значений, и почему логика четырех значений должна быть такой, как она есть. Во-вторых, хотя отдельные шероховатости еще остались, очевидно, что наша оценка общезначимости вывода является математически строгой. Очевидно также, что компьютер, осуществляя вычисления в соответствии с таблицами истинности, может решать, является ли предложенный вывод общезначимым. Существует, однако, другая сторона деятельности логика, заключающаяся в кодифицировании выводов аксиоматическим или полуаксиоматическим способом, с тем чтобы вывод стал явным и соответственно удобным. Если вывод продолжает казаться таинственным, он неудобен. Этим я хочу сказать, что логик, задавая семантику, стремится, как правило, снабдить ее теорией доказательств, теорией, которая является непротиворечивой и полностью соответствует семантике. [7]