Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] a essi assegnato (detto ‛numero di Gödel'). Vi sono molti modi per ottenere questo scopo, utilizzando la scomposizione in fattoriprimi dei numeri naturali. Si verifica allora che, conformemente alla tesi di Church, l'insieme di tutti i numeri che ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] a conoscenza zero'. Un esempio del procedimento è il seguente: una funzione a senso unico, difficile quanto quella che trova i fattoriprimi p e q di un numero n=pq, è quella che calcola la radice quadrata di un numero (mod n). Supponiamo ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] in particolare serie del tipo ∑n>kanpn, con 0≤an⟨p e k intero fissato e serie analoghe associate a fattoriprimi nei corpi di numeri. Qualsiasi numero razionale si può rappresentare con una serie di questo tipo, ma l'idea fondamentale di ...
Leggi Tutto
Vicino Oriente antico. La matematica
Jöran Friberg
La matematica
Gli esercizi metro-matematici nel III millennio
La ricerca sulla matematica mesopotamica conobbe il suo periodo pionieristico a partire [...] 3.200.000), e n×n′=60×60×60×60×60. Condizione necessaria e sufficiente perché n sia regolare è che contenga soltanto gli stessi tipi di fattoriprimi di 60, cioè 2, 3 o 5. Ora, se n è un numero regolare e n′ il suo reciproco, allora il numero 1/n è n ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] di n (costruzione B). Si calcoli m = n! + 1 e si scomponga in fattoriprimi m; sia p il più piccolo fattoreprimo di m. Questa costruzione insieme con la dimostrazione che p > n costituisce la costruzione C. A rigore C non è una dimostrazione ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] maggiore di 1 può essere fattorizzato nel prodotto di numeri primi.
Tale fattorizzazione è unica: comunque si fattorizzi il numero in fattoriprimi, si ottiene sempre lo stesso numero di fattori e ciascuno di questi compare sempre con la stessa ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] sordi che per numeri esprimibili, come 22 o 65. Così la decomposizione degli interi in fattori tenderà alla ricerca di fattori sordi primi, più che verso i fattoriprimi stessi. Il nome di "sordi" finirà per designare, nelle opere più tarde, solo i ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] combinazioni. (Rashed 1983, par. 17)
Per cogliere il senso di questo passo supponiamo che il dato intero si decomponga in n fattoriprimi distinti e si cerchi il numero di parti aliquote prodotto di m interi, con 0⟨m⟨n. Si cerca allora nella tavola ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] Sacks (n. 1933), il quale raccontò di due gemelli con grave ritardo mentale che giocavano fra loro a scomporre in fattoriprimi numeri molto grandi; Sacks restò stupefatto quando lo scoprì, e tentò di inserirsi nel gioco. I gemelli arrivavano a ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] a,b,c ∈ ℤ numeri interi non tutti dello stesso segno, e tali che abc sia un numero la cui scomposizione in fattoriprimi non contenga alcun fattore ripetuto. Allora l'equazione ax2+by2+cz2=0 possiede una soluzione non banale x,y,z ∈ ℤ se e solo se ...
Leggi Tutto
fattore
fattóre s. m. [lat. factor -ōris, der. di facĕre, part. pass. factus]. – 1. letter. Chi fa, facitore, creatore: i f. dell’unità italiana, coloro che più hanno contribuito a farla; si dice in partic. di Dio (cfr. il più com. creatore):...
fattoria didattica
loc. s.le f. Azienda agricola che accoglie gruppi scolastici per far conoscere la vita degli animali domestici, il lavoro in campagna e l’origine dei prodotti agroalimentari, stimolando negli studenti lo spirito critico...