Значения слова Непротиворечивость. Что такое Непротиворечивость?

Слово состоит из 18 букв: первая н, вторая е, третья п, четвёртая р, пятая о, шестая т, седьмая и, восьмая в, девятая о, десятая р, одиннадцатая е, двенадцатая ч, тринадцатая и, четырнадцатая в, пятнадцатая о, шестнадцатая с, семнадцатая т, последняя ь,

Слово непротиворечивость английскими буквами (транслитом) - neprotivorechivost

Непротиворечивость

Непротиворечивость — свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого-то предложения из системы может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней.
ru.wikipedia.org

Непротиворечивость, совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие-либо два предложения А и Ø А…
Большая советская энциклопедия (БСЭ). — 1969—1978

НЕПРОТИВОРЕЧИВОСТЬ — свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений.
Прохоров Б.Б. Экология человека. - 2005

НЕПРОТИВОРЕЧИВОСТЬ — одно из осн. требований, предъявляемых к знанию, в частности к научному знанию: в каждой относительно обособленной системе знания не могут одновременно выводиться нек-рое предложение и его отрицание.
Философский энциклопедический словарь. - М., 1989

НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ

НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ — логико-методологическое требование непротиворечивости, предъявляемое к аксиоматически построенным (вообще формальным) теориям.
Философский энциклопедический словарь. - М., 1989

Правильное написание и ударение в слове НЕПРОТИВОРЕЧИВОСТЬ

Непротиворечи́вость*, -и.
Орфографический словарь. — 2004

Математическая логика

МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика,- раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики.Вопросы непротиворечивости различных теорий по существу рассматривались и до Д. Гильберта.
Математическая энциклопедия. - 1977-1985

Теоретическая логика ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика — область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка.В первую очередь, это результаты Геделя о неполноте. Оказалось, что неполнота арифметики принципиальна, т.е. подобные теории нельзя пополнить, чтобы доказать их непротиворечивость.
Прохоров Б.Б. Экология человека. - 2005

МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков…...а именно с точки зрения непротиворечивости (например, таких теорий, как элементарная геометрия, арифметика, анализ достаточно надежных оснований) и полноты (теорема Геделя о неполноте...
Новейший философский словарь / Сост. А.А. Грицанов

Метатеория

МЕТАТЕО́РИЯ (от греч. μετά – за, после) – теория, анализирующая структуру и методы к.-л. другой теории. Термин "М." имеет смысл и употребляется лишь по отношению к нек-рой данной, конкретной теории…...вопроса об их истинности в к.-л. интерпретациях (семантика) и, наконец, проблемы их непротиворечивости (метаматематика).
Философская энциклопедия

МЕТАТЕОРИЯ (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией.Еще раньше Гёдель (1932–33) показал непротиворечивость классич. арифметики относительно...
Философская энциклопедия

Метатеория (от мета…), теория, анализирующая структуру, методы и свойства какой-либо другой теории — т. н. предметной теории, или объектной. Термин "М." осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так…Таково, например, важнейшее понятие непротиворечивости, определяемое и как...
Большая советская энциклопедия (БСЭ). — 1969—1978

ОМЕГА-НЕПРОТИВОРЕЧИВОСТЬ

ОМЕГА-НЕПРОТИВОРЕЧИВОСТЬ — свойство формальных арифметич. систем, означающее невозможность получения омега-противоречия. Омега-противоречием наз. такая ситуация…
Математическая энциклопедия. - 1977-1985

Ребование непротиворечивости

Ребование непротиворечивости Принцип бухгалтерского учета. Устанавливает обязательность соблюдения тождества данных аналитического учета оборотам и остаткам по счетам синтетического учета на последний календарный день каждого месяца. п.
Джаарбеков С. Словарь: бухгалтерский учет, налоги, хозяйственное право

Формальная система

АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом.Иной формой этого способа доказательства независимости Аявляется установление непротиворечивости теории, к-рая получается, если в данной теории Таксиому Азаменить ее отрицанием.
Математическая энциклопедия. - 1977-1985

Аксиоматический метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы, или постулаты…...и др. математикам получить доказательство непротиворечивости формализованной арифметики).
Большая советская энциклопедия (БСЭ). — 1969—1978

АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём…Гильбертовская программа, предполагавшая возможность доказать непротиворечивость и полноту всей классич. математики, в целом оказалась невыполнимой.
Философская энциклопедия

Буква н встречается 1 раз. Слова с 1 буквой н
Буква е встречается 2 раза. Слова с 2 буквами е
Буква п встречается 1 раз. Слова с 1 буквой п
Буква р встречается 2 раза. Слова с 2 буквами р
Буква о встречается 3 раза. Слова с 3 буквами о
Буква т встречается 2 раза. Слова с 2 буквами т
Буква и встречается 2 раза. Слова с 2 буквами и
Буква в встречается 2 раза. Слова с 2 буквами в
Буква ч встречается 1 раз. Слова с 1 буквой ч
Буква с встречается 1 раз. Слова с 1 буквой с
Буква ь встречается 1 раз. Слова с 1 буквой ь

Примеры употребления слова непротиворечивость

Между тем мы обязаны соблюдать непротиворечивость взаимодействия с Android.

Похожие запросы: