| Information | |
|---|---|
| has gloss | eng: Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929. The signature of Presburger arithmetic contains only the addition operation and equality, omitting the multiplication operation entirely. The axioms include a schema of induction. |
| lexicalization | eng: Presburger Arithmetic |
| instance of | (noun) the branch of pure mathematics dealing with the theory of numerical calculations arithmetic |
| Meaning | |
|---|---|
| Czech | |
| has gloss | ces: Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika, zejména proto, že v jazyce neobsahuje symbol pro násobení. Pojmenována je po polském matematikovi Mojżeszi Presburgerovi, který tuto axiomatiku publikoval v roce 1929. |
| lexicalization | ces: Presburgerova aritmetika |
| French | |
| has gloss | fra: Larithmétique de Presburger est une théorie du premier ordre, dans le langage de larithmétique de Peano sans la multiplication, c’est-à-dire avec seulement laddition (et éventuellement lordre), en plus du zéro et de lopération successeur. Laxiomatisation est essentiellement la même que celle de larithmétique de Peano, moins les axiomes de la multiplication, et avec la différence essentielle que, si le schéma daxiomes de récurrence semble sénoncer de la même façon, il ne couvre plus que les formules du langage de larithmétique de Presburger, donc un ensemble de propriétés beaucoup moins riche. Cette restriction rend larithmétique de Presburger beaucoup moins expressive que larithmétique de Peano, mais la rend également complète et décidable, contrairement à cette dernière. |
| lexicalization | fra: Arithmetique de Presburger |
| lexicalization | fra: Arithmétique de presburger |
| Russian | |
| has gloss | rus: Арифметика Пресбургера — это теория первого порядка описывающая натуральные числа со сложением, но в отличие от арифметики Пеано, исключающая высказывания относительно умножения. Названа в честь польского математика Мозеса Пресбургера, который в 1929 году предложил соответствующую систему аксиом в логике первого порядка, а так же показал её разрешимость. |
| lexicalization | rus: Арифметика Пресбургера |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint