Логика и метаматематические исследования

Развернутое пояснение общеупотребимого содержания понятия исчисление дается только в третьем издании «Большой Советской Энциклопедии» (1972), в статье, написанной Ю.А. Гастевым – известным ученым, логиком, осуществившим, в частности, в 1973 году перевод на русский язык «Математической логики» С.К. Клини. Гастев определяет исчисление, как «основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых исчислений, совпадающих с ним) — и алгоритмы решения». Примерами исчислений выступают: совокупность правил оперирования с цифрами, т.е. числовыми символами в арифметике, «буквенное» исчисление в элементарной алгебре, вышеупомянутые дифференциальное и интегральное исчисления, а также вариационное и другие направления математического анализа и теории функций.

www.tgoop.com/logic_metamathematics/892

303 viewsJan 23 at 13:31

Развернутое пояснение общеупотребимого содержания понятия исчисление дается только в третьем издании «Большой Советской Энциклопедии» (1972), в статье, написанной Ю.А. Гастевым – известным ученым, логиком, осуществившим, в частности, в 1973 году перевод на русский язык «Математической логики» С.К. Клини. Гастев определяет исчисление, как «основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых исчислений, совпадающих с ним) — и алгоритмы решения». Примерами исчислений выступают: совокупность правил оперирования с цифрами, т.е. числовыми символами в арифметике, «буквенное» исчисление в элементарной алгебре, вышеупомянутые дифференциальное и интегральное исчисления, а также вариационное и другие направления математического анализа и теории функций.

BY Логика и метаматематические исследования