aritmetica di Presburger
Enciclopedia della Scienza e della Tecnica (2008)
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
CATEGORIA:
LOGICA
Nicòmaco di Gerasa
Enciclopedia on line
Matematico e filosofo neopitagorico (2a metà 1º sec. d. C.). Ci sono giunti di lui una ᾿Αριϑμητική ("Introduzione aritmetica"), in due libri, nella quale, sulle orme del pitagorismo, platonismo e neoplatonismo, [...] N. concepisce i numeri come principî della realtà, modelli preesistenti alla creazione demiurgica del mondo; e un ᾿Εγχειρίδιον ἁρμονικῆς ("Manualetto di armonia"), che è la nostra fonte più antica sulla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La civiltà islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] problema vuol dire tentare di procedere per ogni caso "finché non resta una specie da una parte e dall'altra" (IV, p. 103). L'Aritmetica di Diofanto non è un libro di algebra, contrariamente a quanto si legge spesso, ma un vero e proprio trattato di ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] che la m. come scienza ha avuto inizio in Grecia. La scuola pitagorica (5° sec. a.C.) aveva sviluppato l’aritmetica, basandosi sui numeri figurati, e i primi teoremi della geometria elementare (similitudine, calcolo di aree e volumi ecc.). Il 4° sec ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] della logica matematica, di grande rilievo fu il tentativo di R. di portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. Nelle sue opere (A critical exposition of the philosophy of ...
Leggi Tutto
termine
Dizionario delle Scienze Fisiche (1996)
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] i suoi addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata del primo ordine o di ordine superiore, ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] un cubo, allo stesso modo in cui la somma di due numeri quadrati era un quadrato, ci si sta ponendo un problema aritmetico (ḥisāb)" (al-Šifā᾽, ed. Afifi, V, pp. 194-195). Si vede qui chiaramente che il termine ḥisāb sembra indicare una disciplina che ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] da Luitzen Egbertus Jan Brouwer (1881-1966).
Per Cantor, la teoria degli insiemi è in grado di abbracciare in sé l'aritmetica, la teoria delle funzioni e la geometria, portandole a una superiore unità, come scrive all'inizio degli anni Ottanta quando ...
Leggi Tutto
somma
Dizionario delle Scienze Fisiche (1996)
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] (s. algebrica), di espressioni algebriche (monomi e polinomi), di segmenti, di angoli, ecc. (s. geometrica), di vettori (s. vettoriale o composizione), di matrici, ecc. ◆ [ALG] S. di ideali: indicati con ...
Leggi Tutto
Domnino di Larissa di Siria
Enciclopedia on line
Filosofo neoplatonico (sec. 5º d. C.); diresse la scuola d'Atene prima di Proclo. Soprattutto matematico, restano due suoi scritti, di cui il più importante è il Manuale d'introduzione aritmetica (᾿Εγχειρίδιον [...] ἀριϑμητικῆς εἰσαγωγῆς), rapido compendio della teoria dei numeri ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE