-
English
-
Russian
-
English
-
Russian
Unprovability
Translation unprovability into russian
unprovability
Noun
The unprovability of the statement made it difficult to reach a conclusion.
Неопровержимость утверждения затрудняла достижение вывода.
Definitions
unprovability
Noun
The quality or state of being unable to be proven or demonstrated as true or false.
The unprovability of certain mathematical theorems can be a significant challenge for researchers.
Idioms and phrases
unprovability theorem
The unprovability theorem is a fundamental concept in mathematical logic.
теорема о недоказуемости
Теорема о недоказуемости является основным понятием в математической логике.
logical unprovability
Logical unprovability challenges traditional assumptions in mathematics.
логическая недоказуемость
Логическая недоказуемость бросает вызов традиционным предположениям в математике.
unprovability argument
The philosopher presented an unprovability argument to support his thesis.
аргумент недоказуемости
Философ представил аргумент недоказуемости в поддержку своей тезы.
unprovability result
The study produced an unprovability result that has implications for theoretical physics.
результат недоказуемости
Исследование дало результат недоказуемости, который имеет последствия для теоретической физики.
unprovability condition
The unprovability condition is crucial for understanding this paradox.
условие недоказуемости
Условие недоказуемости является ключевым для понимания этого парадокса.
Examples
Gödel went on to construct statements that claim their own unprovability, to demonstrate that traditional math is either flawed in a certain algorithmic sense or contains unprovable but true statements.
Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.
(According to scholars of his work, he didn't make a formal distinction between unprovability and the simple absence of proof.)
(По мнению исследователей его творчества, он не проводил формального различия между недоказуемостью и простым отсутствием доказательств.)
As in other areas of mathematics, unprovability can be demonstrated using a model in which the assumptions are correct, but the hypothesis is not true.
Как и в других областях математики, недоказуемость можно продемонстрировать с помощью модели, в которой верны предположения, но не верна гипотеза.
He was then able to develop a formula that asserted its own unprovability.
После чего ему удалось построить формулу, которая утверждала собственную недоказуемость.
The main paradox of irrationalism consists in an attempt to rationally prove or affirm rational unprovability or the impossibility of true cognition.
Основной парадокс иррационализма состоит в попытке рационально доказывать или утверждать рациональную недоказуемость или невозможность истинного познания.