-
1 metamathematical ideal
Большой англо-русский и русско-английский словарь > metamathematical ideal
-
2 metamathematical ideal
Математика: метаматематический идеалУниверсальный англо-русский словарь > metamathematical ideal
-
3 metamathematical ideal
English-Russian scientific dictionary > metamathematical ideal
-
4 metamathematical
метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical theor - metamathematical theorem - metamathematical variable МетаматематическоеБольшой англо-русский и русско-английский словарь > metamathematical
-
5 metamathematical
-
6 ideal
1) идеал, предел совершенства || идеальный2) матем. идеал3) мысленный, нереальный, воображаемый•- absolutely unramified ideal - completely simple ideal - disjunctive ideal - invertible ideal - strongly primary ideal - strongly ramified ideal - zero ideal -
7 метаматематический идеал
Большой англо-русский и русско-английский словарь > метаматематический идеал
-
8 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
9 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Duality (projective geometry) — A striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this metamathematical concept. There are two approaches to the subject of … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … 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
