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 и последующие результаты) их принципиальная неполнота, т. е. наличие таких предложений, к-рые в их рамках недоказуемы и неопровергаемы. Требование полноты не является совершенно неизбежным условием успешной аксиоматизации: неполные теории могут иметь успешные практические приложения.
Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:
Код для вставки на сайт или в блог:
Код для вставки в форум (BBCode):
Прямая ссылка на эту публикацию:
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.