aritmetica razionale
aritmetica razionale apparato di dimostrazioni logiche che permettono, nel contesto dell’aritmetica elementare, di dedurre alcune proprietà formali da altre, accettate intuitivamente [...] e assunte come assiomi. Storicamente, in Italia, faceva parte del programma di matematica degli istituti magistrali, scuole superiori un tempo destinate alla abilitazione all’insegnamento nella scuola ...
Leggi Tutto
aritmetica finitista
aritmetica finitista parte dell’aritmetica che non comporta riferimenti all’infinito, allo scopo di evitare possibili contraddizioni in teoria dei numeri; si deve a D. → Hilbert [...] il programma di adottare tale limitazione ...
Leggi Tutto
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] g. tradizionale. La branca della matematica moderna che studia queste g. in modo unificato è chiamata g. algebrica aritmetica ed è oggi considerata come una parte importante della matematica. Comunque, l'influenza dell'assioma di Archimede nella g ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] +0=n e n+s(m)=s(n+m); (c) l’assioma di induzione, secondo il quale ogni proprietà P dei numeri naturali esprimibile nell’aritmetica tale che P è soddisfatta da 0 e da s(n) qualora sia soddisfatta da n allora essa è soddisfatta per ogni intero m. Come ...
Leggi Tutto
aritmetica
aritmètica (ant. arismètica e arismètrica) s. f. [dal lat. arithmetĭca (lat. mediev. arismet[r]ica), gr. ἀριϑμητική (τέχνη): v. aritmetico]. – 1. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi;...
aritmetico
aritmètico (ant. arismètico e arismètrico) agg. [dal lat. arithmetĭcus (lat. mediev. arismet[r]icus), gr. ἀριϑμητικός, der. di ἀριϑμός «numero» (pl. m. -ci). – 1. Che riguarda l’aritmetica, o anche, che concerne i numeri interi;...