НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

БЕСКОНЕЧНАЯ ИНДУКЦИЯ

Расстановка ударений: БЕСКОНЕ`ЧНАЯ ИНДУ`КЦИЯ

БЕСКОНЕЧНАЯ ИНДУКЦИЯ, правило Карнапа, ω - правило, - неэлементарное вывода правило с бесконечным числом посылок. Точнее, пусть в нек-ром логико-математич. языке переменная х рассматривается как пробегающая натуральные числа и φ (х) - формула этого языка. Если доказана выводимость каждой из бесконечной совокупности формул

φ (0), φ (1), φ (2), ..., φ (n), ...,

то правило Б. и. позволяет заключить, что выводима и формула ∀ хφ (х).

Применение правила Б. и. для вывода формул ведет обычно к тому, что понятие вывода становится неразрешимым. Аксиоматич. системы, содержащие такого рода правила, наз. полуформальными теориями (полуформальными аксиоматическими системами). Полуформальные теории играют большую роль в доказательств теории. При этом на выводы посылок в применении правила Б. и. часто накладывают дополнительные ограничения с целью обеспечить эффективность понятия вывода в теории. Напр., требуют, чтобы выводы посылок Перечислялись нек-рой общерекурсивной функцией (так наз. конструктивное правило бесконечной индукции). Известно, что арифметика формальная, пополненная конструктивным правилом Б. и., является полной относительно классич. истинности. Правило Б. и. нашло применение для построения семантики конструктивной математики методом ступенчатой семантич. системы.

А. Г. Драгалин


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.








© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru