L'Ottocento: astronomia. Il problema dei tre corpi e la stabilita del Sistema solare
June Barrow-Green
Il problema dei tre corpi e la stabilità del Sistema solare
Questo capitolo illustra, a grandi [...] tentativi di trovare una soluzione al problema dei tre corpi hanno stimolato numerose ricerche. Tra la metà del XVIII e l'inizio del XX completo le condizioni iniziali che conducevano sia a urti binari sia a urti tripli, fornendo così la soluzione ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] V[1],…,V[n])=true then accetta)
else SAT(k+1)
Poiché il programma costruisce 2n configurazioni binarie di n elementi, e per ognuna di essi esegue un numero costante di operazioni tra cui il calcolo di E sulla n-pla è verosimilmente la più costosa, il ...
Leggi Tutto
geometria
Walter Maraschini
Dalla misura della Terra all'organizzazione degli spazi
La geometria, 'sorella' dell'aritmetica e dell'algebra, è una parte della matematica che oggi si studia a scuola, [...] mai tali (come può confermare una fotografia scattata ai binari del treno).
Tuttavia nel corso del Medioevo si persero sua posizione su una carta geografica è individuata da questi due numeri. Fissate infatti due rette nel piano, gli assi cartesiani, ...
Leggi Tutto
logaritmo
logaritmo [Der. del lat. logarithmus, dai gr. lógos "proporzione" e arithmós "numero"] [ALG] Dati un numero reale positivo x e un numero a reale, positivo e diverso da 1, l. di x nella base [...] i l. decimali (v. oltre). ◆ [ALG] L. binari: l. in base 2, di largo uso nella teoria dell' decimali nei calcoli consiste nel fatto che spostando la virgola decimale del numero non si altera la mantissa ma solo la caratteristica; il calcolo di ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] un bit per volta senza oltrepassare la fine del programma. In altre parole, il prefisso LISP deve chiedere il corretto numero di bit di dati binari grezzi. Se chiede un ulteriore bit dopo aver letto l'ultimo, ciò non porta a una condizione di fine ...
Leggi Tutto
divisore
divisóre [s.m. e agg. Der. del lat. divisor -oris, dal part. pass. di dividere e quindi "che fa una divisione"] [ALG] (a) Il secondo termine dell'operazione di divisione. (b) Con signif. particolare, [...] . di frequenza. D. di impulsi e di frequenza, sia binari che decimali (n è, rispettiv., una potenza intera di 2 tale una quantità a se ab=0, con b non nullo. Nell'anello dei numeri interi l'unico d. dello zero è lo zero, ma esistono anelli dotati di ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
numerazione
numerazióne s. f. [dal lat. numeratio -onis (der. di numerare «numerare») «pagamento in contanti» e nel lat. tardo «conteggio»]. – 1. In matematica, numerazione, o sistema di n., il sistema dei numeri e la loro rappresentazione....