АКСИОМИ - превод на Английски

• axioms

Примери за използване на Аксиоми на Български и техните преводи на Английски

След това той дава списък на аксиоми той ще приемем, следвани от 56 теореми по геометрия.
He then gives a list of the axioms he will assume, followed by 56 theorems on geometry.

След това той дава списък на аксиоми той ще приемем, следвани от 56 теореми по геометрия.
He then gave a list of the axioms he would assume, followed by 56 theorems on geometry.

След като посочва аксиоми и дава примери за мотивиране да илюстрира смисъла си той би тогава държавни някои дефиниции и теореми.
After stating the axioms and giving motivating examples to illustrate their meaning he would then state some definitions and theorems.

Систематично проучване на аксиоми на геометрията Euclidean доведе Хилберт да предложи 21 такива аксиоми и той се анализира тяхното значение.
A systematic study of the axioms of Euclidean geometry led Hilbert to propose 21 such axioms and he analyzed their significance.

Peano е особено заинтересована във втория проблем, който поиска, ако аксиоми на аритметиката може да бъде доказано съвместим.
Peano was particularly interested in the second problem which asked if the axioms of arithmetic could be proved consistent.

Въпреки това, прилагането на отрицанието чрез провал се нуждае само от половинките IF-на определенията без аксиоми на равенство.
However, the implementation of negation by failure needs only the if-halves of the definitions without the axioms of equality.

която започва с предположението на няколко аксиоми- принципи, които не могат да бъдат доказани.
which begins with the assumption of a number of axioms: principles that cannot be proved.

религията градят своите идеи върху набор неоспорими аксиоми- едно плюс е две, Бог съществува.
religion are both building ideas upon an undisputed set of axioms- one plus one equals two. God exists.

той също се оказа независимостта на аксиоми.
he also proved the independence of the axioms.

Той след това учи в дълбочина на последиците от първоначалното аксиоми deducing свойства на физическата система от математическите теореми, разработени от аксиоми самостоятелно.
He then studied in depth the consequences of the initial axioms deducing properties of the physical system from mathematical theorems developed from the axioms alone.

През 1906 той публикува projective аксиоми на геометрията, а в следващата година, аксиоми на геометрията на описателен.
In 1906 he published The axioms of projective geometry and, in the following year, The axioms of descriptive geometry.

Концепцията за„алгоритъм“ се използва и за дефиниране на понятието решимост, което играе централна роля за обяснението как формалните системи възникват от малък набор аксиоми и правила.
The concept of algorithm is also used to define the notion of decidability- a notion that is central for explaining how formal systems come into being starting from a small set of axioms and rules.

следвате безмилостната дедукция на математически пропозиции от смешно малък брой аксиоми, то няма начин да не се впечатлите от това какво може да се направи с постоянно
follow the remorseless deduction of mathematical propositions from a ridiculously small number of axioms, you cannot help but be impressed by what can

Но все пак е оставала възможността аксиомите на хиперболичната геометрия да излязат логически противоречиви.
However, the possibility still remained that the axioms for hyperbolic geometry were logically inconsistent.

Аксиомите на малцина биват споделяни от мнозина;
The axioms of the few are shared by the many;

Аксиомите вече не са самоочевидни истини, веднага щом сме попрочели и поразбрали.
Axioms stopped being self-evident truths as soon as the work was read and understood.

Изучавайте аксиомите и афоризмите, но освен това ги практикувайте.
Study the Axioms and Aphorisms, but practice them also.

Автоматична проверка на последователността на аксиомите и дефинициите с„Nitpick".
Automatic verification of the consistency of the axioms and definitions with Nitpick.

Обръщайки се от дедуктивния процес към аксиомите- какъв е техният епистемологичен статут?
Turning from the deduction process to the axioms themselves, what is their epistemological status?

Ще предполагаме, че аксиомите които сме намерили чрез статистиката са коректни.
We will assume that the axioms we have found through the statistics are correct.