What is the translation of " АКСІОМ " in English?

• axioms
• axiom

Examples of using Аксіом in Ukrainian and their translations into English

І лише через значний проміжок часу Гільберт винайшов набір геометричних аксіом.
Only much later did Hilbert find a complete set of axioms for geometry.

Це класичне твердження відноситься до розряду аксіом і не вимагає доказів.
This is a classic statement belongs to the category of axioms and does not require proof.

Системи ці, на відміну від ZF, можуть бути задані за допомогою кінцевого числа аксіом.
These systems, unlike the ZF, can be stated by means of finite numbers of axioms.

Ця теорема доведена, показуючи, що чотири з аксіом разом означають протилежність п'ятому.
This theorem is proved by showing that four of the axioms together imply the opposite of the fifth.

Однак у науці не виявлено, наприклад алгоритму для виведення теорем з аксіом.
However, in science it is not found, for example, an algorithm for the derivation of theorems from axioms.

Логічна програма- це сукупність аксіом і правил, що визначають відносини між об'єктами і метою.
A logical program is a combination of axioms and rules that determine the relationship between objects and the goal.

В деяких системах аксіом теорії множин, відношення розширюються до класів, які є узагальненнями множин.
In some systems of axiomatic set theory, relations are extended to classes, which are generalizations of sets.

Але Евкліду не удалося обмежитися чисто логічними засобами при побудові геометрії на основі аксіом.
But Euclid did not succeed in limiting himself to purely logical means in constructing geometry on the basis of axioms.

Подібно іншим галузям знань, економіка включає набір аксіом, доказів, які придатні для аналізу в будь-яких конкретних умовах.
Like other branches of knowledge, the economy includes a set of axioms and proofs, suitable for the analysis in any concrete conditions.

Тим не менш, реалізація заперечення невдачею вимагає тільки if-половин визначень без аксіом рівності.
However, the implementation of negation by failure needs only the if-halves of the definitions without the axioms of equality.

Вона розглядає множини як"такі що задовольняють аксіомам", а поняття множин елементів слугує лише як мотивація для аксіом.
It treats sets as"whatever satisfies the axioms", and the notion of collections of things serves only as motivation for the axioms.

Це відкриття зруйнувало переконання в абсолютній(«очевидною» або«апріорною») істинності аксіом і заснованих на них наукових теорій.
This discovery destroyed belief in the absolute(obvious or a priori) truth of the axioms and of the scientific theories based upon them.

Подібно до всіх інших галузей знань економіка включає набір аксіом і доказів, придатних для аналізу в будь-яких конкретних умовах.
Like other branches of knowledge, the economy includes a set of axioms and proofs, suitable for the analysis in any concrete conditions.

Абстрактне визначення стека зазвичай включає в себе також булеву функцію empty(S) і операцію create(), яка повертає екземпляр стека, з аксіом, еквівалентних.
A stack ADT definition usually includes also a Boolean-valued function empty(S) and a create() operation that returns a stack instance, with axioms equivalent to.

Багато ранніх робіт Каррі показали, як перевести набори аксіом для звичайної логіки в комбінаторні логічні рівняння(Хіндлі і Мередіт 1990).
Many early papers by Curry showed how to translate axiom sets for conventional logic into combinatory logic equations(Hindley and Meredith 1990).

Існують відносно прості задачі теорії звичайних цілих чисел, які неможливо вирішити на основі аксіом"(Гедель в невиправданому, ст.4).
There exist relatively simple problems of the theory of ordinary whole numbers which cannot be decided on the basis of the axioms” Gödel in Undecidable, p.

Відправною пункт праксиологии не вибір аксіом або рішення про процедури, а роздум про сутність діяльності.
The starting point of praxeology is not a choice of axioms and a decision about methods of procedure, but reflection about the essence of action.

Аксіоми Армстронга- множина аксіом(або, точніше, правил висновування), що використовуються для висновування всіх функціональних залежностей у реляційній базі даних.
Armstrong's axioms are a set of axioms(or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.

Я хотів би присвятити цю сторінку на питання, які хтось там може мати відносно аксіом, орендарів, висновки, чи ідеї квантової теорії простору.
Quantum Space Theory I would like to dedicate this page to questions that anyone out there might have regarding the axioms, tenants, conclusions, or insights of quantum space theory.

Системи аксіом, які повністю описують ці дві структури(тобто системи категоріальною аксіоми), можуть бути отримані в більш сильних формах логіки, таких як логіка другого порядку.
Axiom systems that do fully describe these two structures(that is, categorical axiom systems) can be obtained in stronger logics such as second-order logic.

Я виявив, що наукові досягнення рідко виникають як рух"згори вниз" вони не є результатом міркувань біля дошки, вони не були виведені з математичних аксіом і рівнянь.
I found out that advances in science rarely come upstream from an ability to stand at a blackboard and conjure images from unfolding mathematical propositions and equations.

Аксіоми складаються з аксіом арифметики Пеана P разом з нескінченним набором інших аксіом: для кожної цифри n, аксіома xgt; n включена.
The axioms consist of the axioms of Peano arithmetic P together with another infinite set of axioms: for each numeral n, the axiom xgt; n is included.

В Геттінгені, він познайомився із Давидом Гільбертом і був вражений його програмою, намагаючись заснувати всю математику на твердих логічних засадах, отриманих з обмеженого числа аксіом.
In Göttingen, he encountered David Hilbert and was impressed by his program attempting to base all mathematics on solid logical foundations derived from a limited number of axioms.

Інший підхід береться з аксіом фон Неймана-Бернайса-Геделя; класи є основними об'єктами в цій теорії, і множина визначається як клас, який є елементом деякого іншого класу.
Another approach is taken by the von Neumann- Bernays- Gödel axioms(NBG); classes are the basic objects in this theory, and a set is then defined to be a class that is an element of some other class.

Після відкриття парадоксів наївної теорії множин, на початку XX століття були запропоновані численні системи аксіом, серед яких найвідомішою є система Цермело-Френкеля, з аксіомою вибору.
After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo- Fraenkel axioms, with the axiom of choice, are the best-known.

У книзі огляду в 1816 році він обговорював докази, які вивели Аксіома паралелей з іншими евклідової аксіом, припускаючи, що він вірить в існування неевклідової геометрії, хоча він був дуже розпливчасті.
In a book review in 1816he discussed proofs which deduced the axiom of parallels from the other Euclidean axioms, suggesting that he believed in the existence of non-Euclidean geometry, although he was rather vague.

Протягом двох тисячоріч люди намагались довести, що п'ятий постулат Евкліда- загальновідомий«постулат про паралельні», який, грубо кажучи, стверджує, що дві паралельні лінії не можуть пересікатися- можна вивести з інших чотирьох аксіом планіметрії.
For two millennia, people tried to prove that Euclid's fifth postulate- the notorious“parallel postulate” that states roughly that two parallel lines cannot cross- can be derived from the other four axioms of planar geometry.

TК7 сприяє створенню понять, аксіом, правил, принципів, методів і процедур отримання, обробки і передачі правильних і достовірних результатів вимірювань як фізичних, так і нефізичних величин.
TC7 promotes the building of a body of knowledge of concepts, axioms, rules, principles, methods, and procedures for obtaining, processing, expressing and communicating correct and reliable measurement results of both physical and non-physical quantities.

Позаяк, як показали класичні і австрійські економісти, економіка може почати із фундаменту, закладеному на дуже невеликому числі явно правдивих і очевидних аксіом, аксіом, до яких прийшли шляхом самоспостереження самої природи і суті людської діяльності.
For, as the classical and Austrian economists showed, economics can begin by grounding itself on a very few broadly true and evident axioms, axioms arrived at by introspection into the very nature and essence of human action.

Це було просто зібрання максим, аксіом і заповідей, які були незрозумілі стороннім, але які вільно розумілися учнями, після того, як вони були пояснені і підтверджені прикладом Присвяченими Герме-тиками для своїх Неофітів.
It was merely a collection of verbal maxims, axioms, and precepts, which were non-understandable to outsiders, but which were readily understood by students, after they had been explained and exemplified by the Hermetic Initiates to their Neophytes.