GÖDEL'S INCOMPLETENESS THEOREM

Meaning of GÖDEL'S INCOMPLETENESS THEOREM in English

Logic, Math.

1. the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.

2. the corollary that the consistency of such a system cannot be proved within the system.

[ after K. GÖDEL, who formulated it ]

Random House Webster's Unabridged English dictionary. Полный английский словарь Вебстер - Random House . 2012

GODEL'S INCOMPLETENESS THEOREM — noun see: Godel's theorem
Толковый словарь английского языка - Merriam Webster
GÖDEL'S INCOMPLETENESS THEOREM — noun see gödel's theorem
Webster's New International English Dictionary
GODEL'S INCOMPLETENESS THEOREM — see Godel's theorem
Merriam-Webster's Collegiate English vocabulary
GÖDEL'S INCOMPLETENESS THEOREM — Теорема Гёделя о неполноте
Американский Англо-Русский словарь
THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
THEOREM — n. Bernoulli's theorem binomial theorem central limit theorem Fermat's last theorem fundamental theorem of algebra fundamental theorem of arithmetic fundamental …
Britannica Concise Encyclopedia
THEOREM — n. In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Britannica Concise Encyclopedia
INCOMPLETENESS — noun see: incomplete
Толковый словарь английского языка - Merriam Webster
THEOREM — I. ˈthēərəm, ˈthi(ə)r- sometimes ˈthēr- noun ( -s ) Etymology: Late Latin theorema, from Greek theōrēma sight, spectacle, theory, theorem, …
Webster's New International English Dictionary
INCOMPLETENESS — noun : the quality or state of being incomplete
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
INCOMPLETENESS — (n.) The state of being incomplete; imperfectness; defectiveness.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
INCOMPLETENESS — ( n. ) The state of being incomplete; imperfectness; defectiveness.
Webster's Revised Unabridged English Dictionary
GÖDEL — /gued"l/ , n. Kurt /kerrt/ , 1906-78, U.S. mathematician and logician, born in Czechoslovakia.
Random House Webster's Unabridged English Dictionary
INCOMPLETENESS — n. state of being incomplete or unfinished; defectiveness, imperfection
Толковый словарь английского языка - Редакция bed
INCOMPLETENESS — see incomplete
Merriam-Webster's Collegiate English vocabulary
THEOREM — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of …
Merriam-Webster's Collegiate English vocabulary
THEOREM — vt to formulate into a theorem. 2. theorem ·noun a statement of a principle to be demonstrated. 3. theorem ·noun …
Webster English vocab
INCOMPLETENESS — noun the state of being incomplete; imperfectness; defectiveness.
Webster English vocab
THEOREM — in mathematics and logic, a proposition or statement that is demonstrated. In geometry, a proposition is commonly considered as a …
Britannica English vocabulary
THEOREM — theorem BrE AmE ˈθɪər ə m § ˈθiː ə r ə m AmE ˈθiː ə r ə m ˈθɪr ə …
Longman Pronunciation English Dictionary
GODEL — Godel, Gödel BrE AmE ˈɡɜːd ə l ˈɡəʊd- AmE ˈɡoʊd- —German [ ˈɡøː d ə l \]
Longman Pronunciation English Dictionary
INCOMPLETENESS — ➡ incomplete
Oxford Advanced Learner's English Dictionary
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
INCOMPLETENESS — See main entry: ↑ incomplete
Longman Dictionary of Contemporary English
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
S
Longman DOCE5 Extras English vocabulary
INCOMPLETENESS — [noun] [U]
Cambridge English vocab
INCOMPLETENESS — Synonyms and related words : absence, adulteration, beggary, broken thread, brokenness, defectibility, defectiveness, deficiency, deficit, deprivation, destitution, disconnectedness, disconnection, discontinuance, …
Moby Thesaurus English vocabulary
THEOREM — n. 1 hypothesis, proposition, assumption, conjecture, thesis, postulate He has set forth a clever proof of the binomial theorem 2 …
Oxford Thesaurus English vocab
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
INCOMPLETENESS — сущ. несовершенство; неполнота Syn : imperfection незаконченность, незавершенность; неполнота несовершенность incompleteness незавершенность, незаконченность ~ незаконченность ~ неполнота ~ несовершенность, дефектность
Большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Большой Англо-Русский словарь
INCOMPLETENESS — Несовершенность
Американский Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
INCOMPLETENESS — incompleteness.ogg ͵ınkəmʹpli:tnıs n 1> незаконченность, незавершённость; неполнота 2> несовершенность
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
INCOMPLETENESS — 1) недостроенность 2) матем. незавершенность 3) некомплектность 4) неполность 5) неполнота • - algebraic incompleteness - essential incompleteness - incompleteness theorem - syntactic incompleteness - weak incompleteness
Англо-Русский научно-технический словарь
GODEL — матем. гёделевский, гёделев
Англо-Русский научно-технический словарь
INCOMPLETENESS — сущ.несовершенство; неполнота Syn:imperfection
Англо-Русский словарь Tiger
INCOMPLETENESS — (n) неполнота
English-Russian Lingvistica'98 dictionary
INCOMPLETENESS — n 1) незаконченность, незавершённость; неполнота 2) несовершенность
Новый большой Англо-Русский словарь - Апресян, Медникова
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
INCOMPLETENESS — n 1> незаконченность, незавершённость; неполнота 2> несовершенность
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
INCOMPLETENESS — сущ. несовершенство; неполнота Syn: imperfection
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
INCOMPLETENESS — сущ. несовершенство; неполнота Syn: imperfection
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь по компьютерам
INCOMPLETENESS — неполнота незавершенность
Англо-Русский словарь по компьютерам
THEOREM — теорема; предложение - theorem of joint translation - theorem of least work - theorem of three moments
Англо-Русский словарь по строительству и новым строительным технологиям
INCOMPLETENESS — некомплектность; неполнота - incompleteness of equipment set
Англо-Русский словарь по строительству и новым строительным технологиям
THEOREM — теорема - Church - Rosser theorem - equivalence theorem - mean value theorem - sampling theorem - schemata-based theorem - second limit theorem - Shannon's expansion theorem - …
Англо-Русский словарь по вычислительной технике и программированию
INCOMPLETENESS — неполнота; незавершённость
Англо-Русский словарь по вычислительной технике и программированию
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь компьютерных терминов
INCOMPLETENESS — неполнота; незавершенность
Англо-Русский словарь компьютерных терминов
THEOREM — теорема - theorem of mean - theorem of total probability - addition theorem - basic theorems of probability - basis …
Англо-Русский словарь по экономике и финансам
THEOREM — теорема - theorem of least work - theorem of minimum potential energy - theorem of three moments - theorem of …
Англо-Русский строительный словарь

Random House Webster's Unabridged English Dictionary

← GÖDEL GODENDAG→