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 [...] egli mostra che il teorema di unicità continua a essere valido anche in presenza i quali definisce un teorema di fattorizzazione analogo a quello dei numeri naturali. Allo , che non sono però intesi come domini di numeri (algebrici, reali o complessi ...
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 [...] unicità della fattorizzazione in primi dei numeri naturali, egli dimostrò l'identità di Euler:
dove a secondo membro il prodotto è esteso a , 1984);
7) quasi tutti gli zeri di ζ(s) giacciono nel dominio ∣1/2− −Re(s)∣≤F(∣t∣)(log∣t∣)−1, dove F(∣ ...
Leggi Tutto
crittografia
crittografia o criptografia (dal greco kryptós, nascosto, e graphía, scrittura) sistema di scrittura e trasmissione cifrata delle informazioni interpretabile solo da chi conosca il particolare [...] del problema della fattorizzazione in numeri primi di un numero molto grande. I sistemi di crittografia a chiave pubblica, o conosciuta da tutti, visto che è di pubblico dominio); questi sarà l’unico in grado di decifrare il messaggio attraverso l’uso ...
Leggi Tutto
SIMMETRIA
(XXXI, p. 804; App. III, II, p. 745; IV, III, p. 331)
Fisica. - Simmetrie e supersimmetrie. - Una s. è una trasformazione, sulle variabili dinamiche che descrivono un sistema fisico, che connette [...] che la velocità della luce c sia uguale a 1, in forma relativisticamente covariante:
dove Jν≡( Pauli. In una teoria supersimmetrica, non abbiamo la fattorizzazione implicata dalla [15]. Infatti in questo caso avremo dominante un'interazione unica ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] che esso calcola nel dominio dei dati, a partire dalla struttura sintattica a quando una nuova asserzione q non diventa valida (pUq). La nozione del tempo può ipotizzare un'unica essi consentono di eseguire la fattorizzazione di interi in tempo ...
Leggi Tutto