-
1 intuitionistically
Математика: интуиционистски -
2 intuitionistically derivable
Математика: интуиционистски выводимыйУниверсальный англо-русский словарь > intuitionistically derivable
-
3 intuitionistically derivable formula
Математика: интуиционистски выводимая формулаУниверсальный англо-русский словарь > intuitionistically derivable formula
-
4 intuitionistically provable
Математика: интуиционистски доказуемыйУниверсальный англо-русский словарь > intuitionistically provable
-
5 intuitionistically valid
Математика: интуиционистски истинныйУниверсальный англо-русский словарь > intuitionistically valid
-
6 intuitionistically valid formula
Математика: интуиционистски общезначимая формулаУниверсальный англо-русский словарь > intuitionistically valid formula
-
7 intuitionistically derivable
English-Russian scientific dictionary > intuitionistically derivable
-
8 intuitionistically derivable formula
English-Russian scientific dictionary > intuitionistically derivable formula
-
9 intuitionistically provable
English-Russian scientific dictionary > intuitionistically provable
-
10 intuitionistically valid
English-Russian scientific dictionary > intuitionistically valid
-
11 intuitionistically valid formula
English-Russian scientific dictionary > intuitionistically valid formula
-
12 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
13 интуиционистски выводимый
Большой англо-русский и русско-английский словарь > интуиционистски выводимый
-
14 интуиционистски доказуемый
Большой англо-русский и русско-английский словарь > интуиционистски доказуемый
-
15 интуиционистски истинный
Большой англо-русский и русско-английский словарь > интуиционистски истинный
-
16 provable
матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula ≈ геометрически доказуемая формула - arithmetically provable - formally provable - geometrically provable - intuitionistically provable - provable definability - provable equation - provable formula - provable sentence - provable sequent - provable statement доказуемый provable доказуемыйБольшой англо-русский и русско-английский словарь > provable
-
17 derivable
-
18 provable
матем. -
19 valid
1) адекватный; верный2) годный3) действительный; законный; имеющий силу4) обоснованный; справедливый5) общезначимый6) применимый•to hold valid — матем. сохранять силу; оставаться действительным
set valid in realization — множество, общезначимое в реализации
См. также в других словарях:
intuitionistically — adverb In an intuitionistic way … Wiktionary
Russell's paradox — Part of the foundations of mathematics, Russell s paradox (also known as Russell s antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory of Frege leads to a contradiction.It might be assumed that, for any formal… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Markov's principle — Markov s principle, named after Andrey Markov Jr, is a classical tautology that is not intuitionistically valid but that may be justified by constructive means. There are many equivalent formulations of Markov s principle. Contents 1 Statements… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Metaphysics — This article is about the branch of philosophy dealing with theories of existence and knowledge. For the work of Aristotle, see Metaphysics (Aristotle). For the occult field, see Metaphysics (supernatural). Philosophy … Wikipedia
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia