Значения слова Доказуемость. Что такое Доказуемость?

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

Слово доказуемость английскими буквами (транслитом) - dokazuemost

Правильное написание и ударение в слове ДОКАЗУЕМОСТЬ

Доказу́емость, -и.
Орфографический словарь. — 2004

Алгоритм

АЛГОРИТМ (а л г о р и ф м) – одно из основных понятий логики и математики. Под А. понимают точное предписание, задающее вычислит. процесс, ведущий от начальных данных, к-рые могут варьировать, к искомому результату....являясь, конечно, перечислимым) не является разрешимым, так что не существует А., распознающего доказуемость формул исчисления; в этом смысле говорят, что исчисление неразрешимо.
Философская энциклопедия

АЛГОРИТМ, — алгорифм, Ч точное предписание, к-рое задает вычислительный процесс (называемый в этом случае алгоритмическим), начинающийся с произвольного исходного данного…Установление неразрешимости к.-л. м. а. п. (напр., проблемы распознавания истинности или доказуемости для к.-л. логнко-математич. языка) является важным познавательным актом, показывающим...
Математическая энциклопедия. - 1977-1985

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

Возрождение

ВОЗРОЖДЕНИЕ - эпоха в истории итал. (а под ее воздействием и европ.) культуры 14—16 вв., ознаменовавшая переход от средневековья к Новому времени. Будучи радик. переворотом во всех областях культуры, В. оказало значит…В эпоху В. предпринимаются попытки создания этич. систем, свободных от идеи посмертного воздаяния и отвергающих как доказуемость, так и полезность для нравственности догмата о бессмертии...
Атеистический словарь. - М, 1986

Дедукция

ДЕДУКЦИЯ (от лат. deductio — выведение) — переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок.Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов...
Философская энциклопедия

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

ДЕДУКЦИЯ (от лат. deductio - выведение), переход от общего к частному; в более спец. смысле термин « Д.» обозначает процесс логич. вывода, т. е. перехода по тем или иным правилам логики от нек-рых данных предложенийпосылок к их следствиям…Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов...
Советский философский словарь. - 1974

Доказательства

Доказательство — рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис - утверждение, которое нужно доказать, и основание, или аргументы…В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий Д., относящихся к...
Словарь по логике. - 1997

ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к.-л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис — утверждение, которое нужно доказать, и основание, или аргументы…В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий Д., относящихся к...
Философская энциклопедия

Математическое доказательство — цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение....того, что Эйлер считал обосновываемыми одновременно следующие утверждения: и, а также:, понимая, естественно, бессмысленность этих утверждений, но считая их «доказуемость» парадоксами.
ru.wikipedia.org

Философия

ФИЛОСОФСКАЯ ЛОГИКА - широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики....и в связи с этим тщательный анализ таких понятий, как «вычислимость», «разрешимость», «доказуемость» и т.д. В отличие от философии логики Ф. л. первоначально называлась «модальная.
Прохоров Б.Б. Экология человека. - 2005

ФИЛОСОФСКАЯ ЛОГИКА — широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами логики символической, а также применение логики…...фундаментальных теорем, полученных в символической логике, и в связи с этим тщательный анализ таких понятий, как «вычислимость», «разрешимость» «доказуемость» и опять же «истина»..
Новая философская энциклопедия. - 2003

ФИЛОСОФСКАЯ ЛОГИКА — широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами логики символической, а также применение логики…...фундаментальных теорем, полученных в символической логике, и в связи с этим тщательный анализ таких понятий, как “вычислимость”, “разрешимость” “доказуемость” и опять же “истина”.
Философская энциклопедия

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

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