Аксиоматический - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
| имя прилагательное | |||
| axiomatic | аксиоматический, самоочевидный, не требующий доказательств, неопровержимый | ||
| axiomatical | аксиоматический, самоочевидный, не требующий доказательств, неопровержимый | ||
аксиоматичный, самоочевидный
Около 300 года до нашей эры Евклид ввел аксиоматический метод, все еще используемый в математике сегодня, состоящий из определения, аксиомы, теоремы и доказательства. |
Around 300 BC, Euclid introduced the axiomatic method still used in mathematics today, consisting of definition, axiom, theorem, and proof. |
Древние китайские математики не развивали аксиоматический подход, но сделали успехи в разработке алгоритмов и алгебры. |
Ancient Chinese mathematicians did not develop an axiomatic approach, but made advances in algorithm development and algebra. |
Это не было частью систематического упражнения в аксиоматике. |
It was not part of a systematic exercise in axiomatics. |
Его попытка подкрепить аксиоматизированную математику определенными принципами, которые могли бы устранить теоретическую неопределенность, закончилась неудачей. |
His attempt to support axiomatized mathematics with definitive principles, which could banish theoretical uncertainties, ended in failure. |
Это явно не противоречит математической аксиоматизации этих анализов. |
This is clearly not incompatible with a mathematical axiomatization of those analyses. |
Но я пытаюсь обратить внимание на место этих вещей в аксиоматике термодинамики. |
But I am trying to draw attention to the place of these things in the axiomatics of thermodynamics. |
Традиционные исследователи суфизма считают абсолютно аксиоматичным, что знание о Боге-это не психологическое состояние, порожденное контролем дыхания. |
The traditional scholars of Sufism hold it as absolutely axiomatic that knowledge of God is not a psychological state generated through breath control. |
Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным. |
It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized. |
В шестой задаче Гильберта он поставил перед исследователями задачу найти аксиоматическую основу для всей физики. |
In Hilbert's sixth problem, he challenged researchers to find an axiomatic basis to all of physics. |
Константин Каратеодори сформулировал термодинамику на чисто математической аксиоматической основе. |
Constantin Carathéodory formulated thermodynamics on a purely mathematical axiomatic foundation. |
После завершения аксиоматизации теории множеств он начал сталкиваться с аксиоматизацией квантовой механики. |
After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. |
Аксиоматизации первого порядка арифметики Пеано имеют еще одно техническое ограничение. |
First-order axiomatizations of Peano arithmetic have another technical limitation. |
Поэтому никакая формальная система не является полной аксиоматизацией полной теории чисел. |
Therefore, no formal system is a complete axiomatization of full number theory. |
Позже этот процесс был описан как переход от механики к аксиоматике. |
The process was later described as moving from mechanics to axiomatics. |
Аксиоматическая теория множеств тогда еще не была сформулирована. |
Axiomatic set theory was at that point not yet formulated. |
Ранее Менгер и Биркофф аксиоматизировали сложную проективную геометрию в терминах свойств ее решетки линейных подпространств. |
Earlier, Menger and Birkhoff had axiomatized complex projective geometry in terms of the properties of its lattice of linear subspaces. |
Одна из таких аксиоматизаций начинается со следующих аксиом, описывающих дискретное упорядоченное полукольцо. |
One such axiomatization begins with the following axioms that describe a discrete ordered semiring. |
Серрин является признанным авторитетом в области аксиоматики термодинамики. |
Serrin is a recognized authority in the field of axiomatics of thermodynamics. |
Арифметика Пеано и теория множеств Цермело-Френкеля являются аксиоматизациями теории чисел и теории множеств соответственно в логику первого порядка. |
Peano arithmetic and Zermelo–Fraenkel set theory are axiomatizations of number theory and set theory, respectively, into first-order logic. |
Существует много различных, но эквивалентных аксиоматизаций арифметики Пеано. |
There are many different, but equivalent, axiomatizations of Peano arithmetic. |
Ранние математики рассматривали аксиоматическую геометрию как модель физического пространства, и очевидно, что такая модель могла быть только одна. |
Early mathematicians regarded axiomatic geometry as a model of physical space, and obviously there could only be one such model. |
Элементы Евклида являются самым ранним дошедшим до нас документом аксиом плоской геометрии— хотя Прокл говорит о более ранней аксиоматизации Гиппократа Хиосского. |
Euclid's Elements being the earliest extant documentation of the axioms of plane geometry— though Proclus tells of an earlier axiomatisation by Hippocrates of Chios. |
В 1991 году Декстер Козен аксиоматизировал регулярные выражения как алгебру Клейна, используя аксиомы уравнения и предложения Хорна. |
In 1991, Dexter Kozen axiomatized regular expressions as a Kleene algebra, using equational and Horn clause axioms. |
Первые формализации модальной логики были аксиоматическими. |
The first formalizations of modal logic were axiomatic. |
На самом деле это традиционная аксиоматизация булевой алгебры как дополненной дистрибутивной решетки. |
In fact this is the traditional axiomatization of Boolean algebra as a complemented distributive lattice. |
Некоторые аксиоматические теории множеств обеспечивают существование пустого множества, включая аксиому пустого множества;в других теориях его существование может быть выведено. |
Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set; in other theories, its existence can be deduced. |
Аксиоматизация пропозиционального исчисления - это набор тавтологий, называемых аксиомами, и одно или несколько правил вывода для получения новых тавтологий из старых. |
An axiomatization of propositional calculus is a set of tautologies called axioms and one or more inference rules for producing new tautologies from old. |
В 1881 году Чарльз Сандерс Пирс предложил аксиоматизацию арифметики натуральных чисел. |
In 1881, Charles Sanders Peirce provided an axiomatization of natural-number arithmetic. |
Кроме того, никакое эффективно аксиоматизированное, последовательное расширение арифметики Пеано не может быть полным. |
In addition, no effectively axiomatized, consistent extension of Peano arithmetic can be complete. |
Точная формулировка может варьироваться в зависимости от конкретных потребностей аксиоматической системы. |
The exact wording may vary according to the exact needs of the axiomatic system. |
Он также может быть использован в качестве аксиоматического основания для математики, в качестве альтернативы теории множеств и другим предложенным основаниям. |
It may also be used as an axiomatic foundation for mathematics, as an alternative to set theory and other proposed foundations. |
Подход Гильберта сигнализировал о переходе к современному аксиоматическому методу. |
Hilbert's approach signaled the shift to the modern axiomatic method. |
В частности, примерами современной топологии являются теория метризуемости, аксиоматическая теория множеств, гомотопическая теория и теория морса. |
In particular, instances of modern-day topology are metrizability theory, axiomatic set theory, homotopy theory, and Morse theory. |
Два года спустя Генри Бейкер и Хьюитт опубликовали свод аксиоматических законов для актерских систем. |
Two years later, Henry Baker and Hewitt published a set of axiomatic laws for actor systems. |
Затем можно проверить, совпадает ли это альтернативное определение с любым другим определением, которое можно выбрать, или использовать предыдущую аксиоматическую характеристику. |
One then may check that this alternative definition coincides with whatever other definition one may favor, or use the previous axiomatic characterization. |
Более того, любая аксиоматизируемая и полная теория разрешима. |
Moreover, any axiomatizable and complete theory is decidable. |
Классическая аксиоматическая модель с аутоволнами в миокарде была опубликована в 1946 году Норбертом Винером и Артуро Розенблутом. |
The classical axiomatic model with autowaves in myocardium was published in 1946 by Norbert Wiener and Arturo Rosenblueth. |
С этой точки зрения геометрия эквивалентна аксиоматической алгебре, заменяющей ее элементы символами. |
From this perspective, geometry is equivalent to an axiomatic algebra, replacing its elements by symbols. |
Во-первых, зафиксируйте определенную аксиоматическую систему S для натуральных чисел. |
First, fix a particular axiomatic system S for the natural numbers. |
Аксиоматическая система имеет некоторые примитивные понятия и некоторые аксиомы, сформулированные в терминах этих примитивных понятий. |
An axiomatic system has some primitive notions and some axioms stated in terms of those primitive notions. |
Именно так вводятся новые линии в некоторые аксиоматические системы. |
This is how new lines are introduced in some axiomatic systems. |
Аксиоматизация является здравой, когда каждая теорема является тавтологией, и завершенной, когда каждая тавтология является теоремой. |
An axiomatization is sound when every theorem is a tautology, and complete when every tautology is a theorem. |
В разделе, посвященном аксиоматизации, перечислены другие аксиоматизации, любая из которых может быть положена в основу эквивалентного определения. |
The section on axiomatization lists other axiomatizations, any of which can be made the basis of an equivalent definition. |
Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики. |
Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. |
Мы говорим, что булева алгебра конечно аксиоматизируема или конечно базируется. |
We say that Boolean algebra is finitely axiomatizable or finitely based. |
Аксиоматизация арифметической индукции в логике первого порядка требует схемы аксиомы, содержащей отдельную аксиому для каждого возможного предиката. |
Axiomatizing arithmetic induction in first-order logic requires an axiom schema containing a separate axiom for each possible predicate. |
Теперь предположим, что аксиоматическая система является ω-последовательной, и пусть p-утверждение, полученное в предыдущем разделе. |
Now, assume that the axiomatic system is ω-consistent, and let p be the statement obtained in the previous section. |
Необходимость конкретизировать аксиомы фрейма давно признана проблемой аксиоматизации динамических миров и известна как проблема фрейма. |
The need to specify frame axioms has long been recognised as a problem in axiomatizing dynamic worlds, and is known as the frame problem. |
Наиболее точно удобное резюме будет зависеть от аксиоматической системы, для которой оно предназначено. |
The most exactly convenient summary will depend on the axiomatic system for which it is intended. |
Если вместо функций аксиоматизировать отношения, то получается теория аллегорий. |
If one axiomatizes relations instead of functions, one obtains the theory of allegories. |
Однако можно спросить, является ли некоторое рекурсивно аксиоматизируемое расширение его полным и последовательным. |
However, one can ask if some recursively axiomatizable extension of it is complete and consistent. |
Некоторые мыслители, такие как Стивен Джей Гулд, стремятся обосновать науку аксиоматическими допущениями, такими как однородность природы. |
Some thinkers such as Stephen Jay Gould seek to ground science in axiomatic assumptions, such as the uniformity of nature. |
Приложения мер включают Интеграл Лебега, аксиоматизацию теории вероятностей Колмогорова и эргодическую теорию. |
Applications of measures include the Lebesgue integral, Kolmogorov's axiomatisation of probability theory, and ergodic theory. |
Полуклассическая гравитация также может быть выведена из аксиоматического подхода. |
Semiclassical gravity can also be deduced from an axiomatic approach. |
Другую аксиоматизацию ℝ смотрите в книге Тарского аксиоматизация реальностей. |
For another axiomatization of ℝ, see Tarski's axiomatization of the reals. |
Для своей диссертации он решил произвести аксиоматизацию теории множеств Кантора. |
For his thesis, he chose to produce an axiomatization of Cantor's set theory. |
Это было бы так, если бы мы использовали машины для работы с аксиоматическими системами. |
This would be the case if we were using machines to deal with axiomatic systems. |
- аксиоматический метод - postulational method
- аксиоматический анализ - axiomatic analysis
- аксиоматический подход - axiomatic approach
- аксиоматический формализм - axiomatic formalism
- аксиоматический фундамент - axiomatic foundation
