Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
ПОЛНОТАв логике и дедуктивных науках, свойство аксиоматич. теории, характеризующее достаточность для к.-л. определ. целей её выразит. и дедуктивных средств. Аксиоматич. система наз. дедуктивно полной по отношению к данной интерпретации, если все её формулы, истинные при данной интерпретации, доказуемы в ней. Такое понятие П. связано с понятием истинности и носит семантич. (содержат.) характер. Понятие П. в узком смысле носит синтаксич. (формальный) характер и определяется как невозможность присоединения к системе без противоречия никакой недоказуемой в ней формулы в качестве аксиомы. В 1931 К. Гёдель установил принципиальную неполноту достаточно богатых аксиоматич. теорий (включающих формальную арифметику натуральных чисел и аксиоматич. теорию множеств), т. е. наличие таких формул, к-рые в их рамках недоказуемы и неопровергаемы. Это открытие привело к осознанию принципиальной ограниченности роли аксиоматич.метода в математич. логике и стимулировало поиски новых логико-математич. теорий. См. ст. Доказательство и лит. к ней.
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|