Бесконечная Индукция

умозаключение, при котором из бесконечной совокупности посылок, исчерпывающих все частные случаи какого-либо общего суждения (высказывания), получается в качестве заключения (следствия) это общее суждение. Например, из посылок 0 + 0 = 0 + 0, 0 + 1 = 1 + 0, 0 + 2 = 2 + 0, 1 + 1 = 1 + 1, 0 + 3 = 3 + 0, 1 + 2 = 2 + 1, 0 + 4 = 4 + 0, 1 + 3 = 3 + 1, 2 + 2 = 2 + 2, 0 + 5 = 5 + 0, 1 + 4 = 4 + 1, 2 + 3 = 3 + 2,. (где многоточие означает предположение, что суммы натуральных чисел, стоящих по обе стороны..

БЕСКОЗЫРКА - форменный головной убор (фуражка без козырька) солдат, матросов, некоторых младших командиров, воспитанников военно-морских училищ ряда армий и флотов. В российской армии и флоте с 1811. В 1872 в российском флоте на бескозырки были введены ленточки, на которых обозначались наименование корабля или номер флотского экипажа. Ныне на ленточках указывается название флота или военно-морского училища.. ..

БЕСКОНЕЧНАЯ десятичная дробь - десятичная дробь, в записи которой после запятой содержится бесконечное количество цифр.. ..

БЕСКОНЕЧНО БОЛЬШАЯ - переменная величина Y, обратная бесконечно малой величине X, то есть Y = 1/X.. ..

БЕСКОНЕЧНО МАЛАЯ - переменная величина, которая в процессе изменения становится (по абсолютной величине) и при дальнейшем изменении остается меньше любого наперед заданного положительного числа, т. Е. Имеет пределом нуль. В математическом анализе важную роль играют пределы отношений бесконечно малых величин (см. Дифференциальное исчисление) и пределы сумм бесконечно малых величин, когда число слагаемых неограниченно возрастает (см. Интегральное исчисление).. ..

правило Карнапа, w-правило,- неэлементарное вывода правило с бесконечным числом посылок. Точнее, пусть в нек-ром логико-математич. Языке переменная x рассматривается как пробегающая натуральные числа и - формула этого языка. Если доказана выводимость каждой из бесконечной совокупности формул то правило Б. И. Позволяет заключить, что выводима и формула . Применение правила Б. И. Для вывода формул ведет обычно к тому, что понятие вывода становится неразрешимым. Аксиоматич. Системы, сод..