kosta.gif
повестки arrow дождя

жалуем

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

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

Sunday, 23 September 2018

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

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

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


Независимость
(в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предло¬жений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка ак¬сиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же. Зависимая система аксиом содержит лишние аксиомы и в этом смысле является менее совершенной, чем независимая. Требование Н. распространяется и на правила вывода аксиоматической теории. Исходное правило вывода независимо, если оно не может быть получено в качестве производного правила в системе, из которой оно исключено. Можно также сказать, что аксиома или правило вывода независимы, если существует теоре¬ма, которая не может быть доказана без этой аксиомы или этого правила вывода. Н. имеет по преимуществу эстетическую и дидактическую цен¬ность. Исследование Н. способствует, как правило, лучшему по¬ниманию строения изучаемой теории и ее возможностей. Исторически первым доказательством Н. было доказательство невыводимости пятого постулата Евклида о параллельных из остальных его постулатов. Требование Н. может быть распространено не только на аксиомы и правила вывода аксиоматических теорий, но и на исходные их термины (понятия). Термин независим, если он неопределим через остальные исходные термины. Теория с неизбыточным исходным словарем не содержит лишних понятий и является в этом отноше¬нии более совершенной, чем теория с зависимыми понятиями. Зависимость некоторой аксиомы от остальных показывается путем вывода ее из них. Н. аксиомы можно доказать, найдя свой¬ство, присущее всем другим аксиомам и не присущее рассматри¬ваемой. / смотри пример Анатолий Вассерман: Аксиома бога неверна Анатолий Вассерман не верит в Бога. Он объясняет это тем, что существование Бога недоказуемо с точки зрения науки. В картину того мира, в котором мы живем, оно не вписывается, так как понятие Бога несовместимо с существованием природы. видишь если подавать бога как независимое в действительности определение к примеру как бога моисея и других ему подобных отказываются рассматривать его понятие как основополагающую аксиому по заведомо известной причине подобием то иного образа если же подавать бога как зависимое в действительности определение к примеру бог это естество законодательства естествознания тоже отказываются видеть это естественное начало и тоже по заведомо известной причине мол это всё Гипостазирование ну и остаётся постелить в дорогу скатерть догоняйте сами а нам некогда вас ждать 1.2.14 ещё раз если использовать писания как независимые авторитетные источники сильные народа отказываются подчиняться под предлогом все бога носим а не только по нему ходящие вот и ходят по нему как по нему а не по оному 1.4.16 если же использовать писания как зависимые то тоже отказываются под предлогом банальности обыденности ординарности стереотипа итэпэ вот и ходим так чтоб рты пораскрывали это что ещё такое
 


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


Glossary V2.0

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

для записи 2.27.20.6

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