GODEL'S THEOREM

Meaning of GODEL'S THEOREM in English

[Go.del's theorem] n [Kurt Godel d. 1978 Am. mathematician] (1933): a theorem in advanced logic: in any logical system as complex as or more complex than the arithmetic of the integers there can always be found either a statement which can be shown to be both true and false or a statement whose truth or falsity cannot be deduced from other statements in the system--called also Godel's incompleteness theorem

Merriam-Webster English vocab. Английский словарь Merriam Webster. 2012

GODEL'S THEOREM — noun Etymology: Kurt Gödel died 1978 American mathematician Date: 1933 a theorem in advanced logic: in any logical system as …
Толковый словарь английского языка - Merriam Webster
GÖDEL'S THEOREM — Principle of the foundations of mathematics . One of the most important discoveries of 20th-century mathematics, it states the impossibility …
Английский словарь Британика
GÖDEL'S THEOREM — noun also gödel's incompleteness theorem ˈgœ̅dəlz- Usage: usually capitalized G Etymology: after Kurt Gödel died 1978 American mathematician : a …
Webster's New International English Dictionary
GODEL'S THEOREM — noun Etymology: Kurt Gödel died 1978 American mathematician Date: 1933 : a theorem in advanced logic: in any logical system …
Merriam-Webster's Collegiate English vocabulary
GÖDEL'S THEOREM — Principle of the foundations of mathematics . One of the most important discoveries of 20th-century mathematics, it states the impossibility …
Britannica Concise Encyclopedia
GODEL'S THEOREM — Pronunciation: ' g ō -d ə lz-, ' g ə r-, ' g- Function: noun Etymology: Kurt Gödel † 1978 …
Merriam Webster Collegiate English Dictionary
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
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
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
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
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
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
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
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
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 …
Большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Большой Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
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 — теорема об аналитической …
Англо-Русский научно-технический словарь
GODEL — матем. гёделевский, гёделев
Англо-Русский научно-технический словарь
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
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 …
Англо-Русский словарь по компьютерам
THEOREM — теорема; предложение - theorem of joint translation - theorem of least work - theorem of three moments
Англо-Русский словарь по строительству и новым строительным технологиям
THEOREM — теорема - Church - Rosser theorem - equivalence theorem - mean value theorem - sampling theorem - schemata-based theorem - second limit theorem - Shannon's expansion theorem - …
Англо-Русский словарь по вычислительной технике и программированию
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь компьютерных терминов
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 …
Англо-Русский строительный словарь
THEOREM — - acoustical reciprocity theorem - power-transfer theorem - sampling theorem - Shannon theorems - shifting theorem
Англо-Русский словарь по телекоммуникациям
THEOREM — теорема см. Bayes' theorem см. Chinese remainder theorem см. factorization theorem см. Fermat theorem см. prime number theorem см. random …
Англо-Русский словарь компьютерной безопасности
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Новый большой Англо-Русский словарь
GODEL — геделевский, геделивский - pertaining to Godel
Новый большой Англо-Русский словарь
GODEL'S INCOMPLETENESS THEOREM — noun see: Godel's theorem
Толковый словарь английского языка - Merriam Webster
GÖDEL, KURT — born April 28, 1906, Brünn, Austria-Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Austrian-born U.S. mathematician and logician. He began …
Английский словарь Британика
GÖDEL'S INCOMPLETENESS THEOREM — noun see gödel's theorem
Webster's New International English Dictionary
GÖDEL'S INCOMPLETENESS THEOREM — Logic, Math. 1. the theorem that states that in a formal logical system incorporating the properties of the natural numbers, …
Random House Webster's Unabridged English Dictionary
GODEL'S INCOMPLETENESS THEOREM — see Godel's theorem
Merriam-Webster's Collegiate English vocabulary
GODEL, KURT — born April 28, 1906, Brnn, Austria-Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Gdel also spelled Goedel Austrian-born U.S. mathematician, …
Britannica English vocabulary
GOOD
Longman DOCE5 Extras English vocabulary
FOR
Longman DOCE5 Extras English vocabulary
GÖDEL, KURT — born April 28, 1906, Brünn, Austria-Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Austrian-born U.S. mathematician and logician. He began …
Britannica Concise Encyclopedia
VIENNA CIRCLE
Английский словарь Британика
MATHEMATICS, FOUNDATIONS OF — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid 's Elements …
Английский словарь Британика
KURT — [c mediumvioletred] (as used in expressions) Cobain Kurt Eisner Kurt Gödel Kurt Jooss Kurt Lewin Kurt Schleicher Kurt von Schuschnigg …
Английский словарь Британика
INCOMPLETENESS THEOREM — ■ noun Logic the theorem, proposed by the mathematician Kurt Gödel, that in any sufficiently powerful, logically consistent formulation of …
Concise Oxford English vocab
YEAR IN REVIEW 2001: LITERATURE — Arabic Arab intellectuals were preoccupied in 2000 with globalization, and the dubious nature of that phenomenon was questioned in two …
Britannica English vocabulary
YEAR IN REVIEW 2000: LITERATURE
Britannica English vocabulary
YEAR IN REVIEW 1999: PERFORMING-ARTS
Britannica English vocabulary
YEAR IN REVIEW 1999: LITERATURE
Britannica English vocabulary
YEAR IN REVIEW 1998: LITERATURE
Britannica English vocabulary

Merriam-Webster English vocab

← GOD-FEARING GODIVA→