INTUITIONISTIC UNPROVABLE

Англо-русский перевод INTUITIONISTIC UNPROVABLE

мат. интуиционистская недоказуемость

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

INTUITIONISTIC UNPROVABLE — матем. интуиционистская недоказуемость
Англо-Русский научно-технический словарь
INTUITIONISTIC UNPROVABLE — мат. интуиционистская недоказуемость
Новый большой Англо-Русский словарь
UNPROVABLE — недоказуемый - intuitionistic unprovable - unprovable formula - unprovable statement недоказуемый
Большой Англо-Русский словарь
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
UNPROVABLE — “+ adjective Etymology: Middle English, from un- (I) + provable : not provable • un·provableness “+ noun
Webster's New International English Dictionary
UNPROVABLE — adj.
Random House Webster's Unabridged English Dictionary
UNPROVABLE — adj. cannot be proven
Толковый словарь английского языка - Редакция bed
UNPROVABLE — adj. that cannot be proved. øøunprovability n. unprovableness n.
Английский основной разговорный словарь
UNPROVABLE — adj. that cannot be proved. unprovability n. unprovableness n.
Concise Oxford English Dictionary
UNPROVABLE — adj. that cannot be proved. Derivatives: unprovability n. unprovableness n.
Oxford English vocab
UNPROVABLE — Synonyms and related words : agnostic, ambiguous, capricious, chancy, changeable, controvertible, dicey, doubting, equivocal, erratic, fickle, hesitant, hesitating, incalculable, indecisive, …
Moby Thesaurus English vocabulary
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
UNPROVABLE — Недоказуемый
Американский Англо-Русский словарь
UNPROVABLE — a недоказуемый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
UNPROVABLE — недоказуемый - intuitionistic unprovable - unprovable formula - unprovable statement
Англо-Русский научно-технический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
UNPROVABLE — (a) недоказуемый
English-Russian Lingvistica'98 dictionary
UNPROVABLE — a недоказуемый
Новый большой Англо-Русский словарь - Апресян, Медникова
UNPROVABLE — a недоказуемый
Большой новый Англо-Русский словарь
UNPROVABLE — adj. недоказуемый
English-Russian-dictionary - Bed release
UNPROVABLE — adj. недоказуемый
English-Russian-dictionary - Bed release
UNPROVABLE — недоказуемый
Англо-Русский юридический словарь
UNPROVABLE — недоказуемый - intuitionistic unprovable - unprovable formula - unprovable statement недоказуемый
Новый большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
INTUITIONISTIC PROBABILITY — < logic > Florentin Smarandache's representation of the probability of an event occuring, given by T, I, F which are …
FOLDOC Computer English Dictionary
INTUITIONISTIC LOGIC — < logic , mathematics > Brouwer's foundational theory of mathematics which says that you should not count a proof of …
FOLDOC Computer English Dictionary
INTUITIONISTIC THEOR — мат. интуиционистская теория
Большой Англо-Русский словарь
INTUITIONISTIC TAUTOLOGY — мат. интуиционистская тавтология
Большой Англо-Русский словарь
INTUITIONISTIC SYSTEM — мат. интуиционистская система
Большой Англо-Русский словарь
INTUITIONISTIC PROOF — мат. интуционистский вывод
Большой Англо-Русский словарь
INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Большой Англо-Русский словарь
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
AXIOM — In mathematics or logic, an unprovable rule or first principle accepted as true because it is self-evident or particularly useful …
Английский словарь Британика
UNPROVABLENESS — noun see unprovable
Webster's New International English Dictionary
INSUPPORTABLE — adj. insufferable, intolerable, unendurable, unbearable; having no basis in fact, unprovable, unsubstantiated, inconclusive
Толковый словарь английского языка - Редакция bed
UNPROVEN — [ ʌn'pru:v(ə)n , -'prəʊ- ] (also unproved -'pru:vd ) ■ adjective not demonstrated by evidence or argument as true or …
Concise Oxford English vocab
PROPOSITIONAL CALCULUS — also called Sentential Calculus, in logic, symbolic system of treating compound and complex propositions and their logical relationships. As opposed …
Britannica English vocabulary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
IMPLICATION — in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most …
Britannica English vocabulary
FORMAL LOGIC — the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content …
Britannica English vocabulary
STATEMENT — I. noun COLLOCATIONS FROM OTHER ENTRIES a bank statement (= a written statement of how much you have in a …
Longman DOCE5 Extras English vocabulary
CIRCUMSTANTIAL — adjective COLLOCATIONS FROM OTHER ENTRIES circumstantial evidence (= evidence which makes something seem likely, but does not prove it ) …
Longman DOCE5 Extras English vocabulary
PROPOSITIONAL CALCULUS — Formal system of propositions and their logical relationships. As opposed to the predicate calculus , the propositional calculus employs simple, …
Britannica Concise Encyclopedia
AXIOM — n. In mathematics or logic, an unprovable rule or first principle accepted as true because it is self-evident or particularly …
Britannica Concise Encyclopedia
WHIMSICAL
Moby Thesaurus English vocabulary
WAVERING — Synonyms and related words : adrift, aflicker, afloat, agnostic, alternating, alternation, ambiguous, amorphous, bickering, blinking, broken, capricious, capriciousness, careening, catchy, …
Moby Thesaurus English vocabulary
VARIABLE — Synonyms and related words : able to adapt, adaptable, adjustable, adrift, afloat, agnostic, alterable, alterative, alternating, ambiguous, amorphous, broken, capricious, …
Moby Thesaurus English vocabulary
UNSUSTAINABLE — Synonyms and related words : baseless, controvertible, empty, groundless, idle, ill-founded, unattestable, unbased, unconfirmable, undemonstrable, undemonstratable, unfounded, ungrounded, unprovable, unsubstantiatable, …
Moby Thesaurus English vocabulary
NEUTROSOPHIC SET — < logic > A generalisation of the intuitionistic set , classical set, fuzzy set , paraconsistent set , dialetheist set …
FOLDOC Computer English Dictionary
NEUTROSOPHIC LOGIC — < logic > (Or "Smarandache logic") A generalisation of fuzzy logic based on Neutrosophy . A proposition is t true, …
FOLDOC Computer English Dictionary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
INTUITIONIST LOGIC — < spelling > Incorrect term for " intuitionistic logic ". (1999-11-24)
FOLDOC Computer English Dictionary
INTUITIONISM — intuitionistic logic
FOLDOC Computer English Dictionary
CONSTRUCTIVE — < mathematics > A proof that something exists is "constructive" if it provides a method for actually constructing it. Cantor …
FOLDOC Computer English Dictionary
CLASSICAL LOGIC — < logic > Non- intuitionistic logic . (1995-04-13)
FOLDOC Computer English Dictionary
LOLLI — < language > (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic , written …
FOLDOC Computer English Dictionary
BINPROLOG — < language > Probably the fastest freely available C -emulated Prolog . BinProlog features: logical and permanent global variable s; …
FOLDOC Computer English Dictionary
ИНТУИЦИОНИСТИЧЕСКИЙ — adj. intuitionistic
Russian-English Dictionary of the Mathematical Sciences
INTUITIVE — of intuition, intuitionistic, means something can be seen or perceived directly
Sean Woo's Finance, GIS and Real Estate English Glossary
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь

Большой Англо-Русский словарь

← INTUITIONISTIC THEOR INTUITIONISTICALLY DERIVABLE→