kosta.gif
повестки

жалуем

ПРИСУТСТВУЮЩИХ

OS: Linux s
PHP: 5.1.6
MySQL: 10.0.36-MariaDB-cll-lve
Время: 04:25
Caching: Disabled
GZIP: Enabled
Участников: 4
Новостей: 345
Ссылок: 4
посетителей: 12062769

Monday, 17 December 2018

ловкость пальцев
 понимания на которых основывается пророческое
Введите искомое слово.

Названии Комментариях Везде
Редакт. глоссарий
Отправить термин

Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Непротиворечивость
- свойство предложений некоторой теории (в случае аксиоматической теории — системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. является обязательным требованием к научной и, в частности, логической теории. Противоречивая теория заведомо несовершенна: наряду с истинными положениями она вклю¬чает также ложные, в ней что-то одновременно и доказывается, и опровергается. Во многих теориях имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится «доказуемым» все что угодно и понятие доказательства теряет смысл. Применительно к таким теориям требование Н. равносильно условию, что в теории имеется хотя бы одно недоказуемое высказывание. Н. одной теории может быть доказана через другую теорию, Н. которой гарантирована. Однако такое доказательство обладает лишь относительной убедительностью. Для простых теорий, таких, как исчисление высказываний, доказательство Н. не представляет труда. В более сложных теориях оно обычно сводится к интерпретации в терминах теории множеств. Для сложных теорий, напр. арифметики и самой теории множеств, отыскание подходящей теории, которая сама была бы непротиворечивой и вместе с тем могла бы использоваться для доказательства их Н., представляется задачей скорее всего безнадежной. Это указывает на нетривиальность проблемы Н., ее трудность и глубину. В реальных, достаточно сложных научных теориях, в том числе в теориях самой логики, могут встречаться противоречия. В связи с этим в последние десятилетия большое внимание привлекают логические системы, в которых из противоречия невыводимо произвольное высказывание. Обнаружение противоречия в опирающейся на такую систему теории не означает, что в ней становится доказуемым все что угодно (см.: Паранепротиворечивая логика). / иисус мол сын а будда нет пророк аллаха мухаммат а зарятуттрясца нет ислам не дао а дао не ислам конфуций мол китай и гималаи не сион естественно с сим не поспоришь но разве иисус не отличался мудростью а будда чьих там был кровей вот так под царскими чтим божьи вот и приходим к сыновьям аллах бог истины и нет кроме аллаха бога ибо трясца всем лжецам вот и утро бога в мат ислам покорность дао путь ну и как путь с покорностью противоречит покорности в пути что ещё нам под быть над вот есть горы вот вам и высоты роста совокупности всеобщего предмета примерь там вот вырос от народа от другого в другом месте ну и в чём их противоборство если к богу их всех рост видишь те же горы видишь как внутри их не горазд видишь как их собственность сдвигается своей видишь новые того же средь того же но уже не так как до не про
 


Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Glossary V2.0

БЛАГОУСТРАИВАТЬ

для записи 2.27.20.6

чинам чести 1.1.49 чинам чести 2.27.7