La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] fermata si può formulare come segue: se un programma che fornisce risposte a domande riguardanti la fermata di dati programmi per dati argomenti non mente mai, esso non può fornire tutte le risposte. Poiché generalmente è facile rispondere in maniera ...
Leggi Tutto
errore
erróre [Der. del lat. error -oris, da errare "sbagliare"] [ALG] Nel calcolo numerico, la differenza (positiva o negativa) tra il valore calcolato di un numero e il suo valore esatto, che si riscontra [...] fisiche: IV 48 b. ◆ [MTR] E. di osservazione: lo stesso che e. di misura: v. sopra. ◆ [ELT] E. indipendente: v. trasmissione di dati: VI 307 c. ◆ [MTR] E. limite ed e. limite medio: v. misure fisiche: IV 49 a, b. ◆ [MTR] E. primitivo: v. misure ...
Leggi Tutto
test
tèst [ingl. test "saggio reattivo", dal fr. test "vaso usato dagli alchimisti per saggiare l'oro", a sua volta dal lat. testum "testo, vaso"] [LSF] Saggio, esperimento, prova, e anche mezzo o criterio [...] a. ◆ [PRB] T. statistici: particolari metodi matematici per valutare l'attendibilità di una determinata indagine statistica: v. test statistici. ◆ [PRB] Livello di confidenza, o significatività e potenza di un t.: v. dati, statistica dei: II 88 b. ...
Leggi Tutto
Geometra greco, attivo ad Atene attorno al 450-420 a. C. Allievo forse di Enopide a Chio, si diede in un primo tempo, a quanto dice Aristotele, al commercio; poi, derubato dei suoi averi, si fermò ad Atene [...] , la riduzione del problema della duplicazione del cubo a quello della inserzione di due medie proporzionali tra due numeri dati. Ancora a I. è dovuto il primo tentativo di esposizione sistematica della geometria: è un libro di Elementi, perduto ...
Leggi Tutto
Numeri, calcoli, misure
Anna Parisi
L'invenzione dei numeri
Fin da tempi antichissimi gli esseri umani sapevano contare. L'uso dei numeri rendeva possibile la risoluzione di molti problemi legati alla [...] ma in realtà possono solo obbedire a pochi e semplici ordini dati dal programmatore.
Ciò significa che il calcolatore è una macchina del calcolatore è tale che può gestire milioni di dati e milioni di operazioni in brevissimo tempo.
Prendiamo le ...
Leggi Tutto
base
base [Der. del lat. basis, dal gr. básis, "parte inferiore di una costruzione"] [ALG] Lato sul quale appoggia o s'immagina appoggiato un poligono, e, per un solido, il poligono o il cerchio su cui [...] può essere utilizzata da molti utenti ed è integrata, nel senso che non è costituita da sottoinsiemi separati tra loro: v. base di dati. ◆ [ALG] B. di una potenza: se la potenza s'indica con ax (con x reale qualsiasi), è il numero a. ◆ [ALG] B. di ...
Leggi Tutto
Matematico e fisico (Venezia 1530 - Torino 1590). Allievo di N. Tartaglia, nel 1553 pubblicò un metodo per la risoluzione "omnium Euclidis problematum aliorumque" mediante un compasso ad apertura fissa. [...] la teoria del torchio idraulico (sei anni prima di Stevino); il calcolo (quindici anni prima di Vieta) delle diagonali di un quadrilatero inscritto in un cerchio quando siano dati i quattro lati. Importante è anche la sua corrispondenza scientifica. ...
Leggi Tutto
Ottimizzazione
Agostino La Bella
L'o. costituisce un insieme di metodologie utilizzate nell'analisi e nella soluzione di molti complessi problemi di decisione, progettazione e allocazione di risorse. [...] per il valore della funzione obiettivo), oppure essere valutate statisticamente (sulla base di assegnate distribuzioni di probabilità dei dati). La ricerca non si limita ai problemi di analisi strutturale del modello e di costruzione di algoritmi di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] Bell Laboratories a Murray Hill, New Jersey, inventa i codici, che poi prenderanno il suo nome, per individuare errori in insiemi di dati e per correggerli. Uno di questi è, per esempio, il codice della parità, secondo il quale si conta il numero dei ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] una stessa retta si incontrano sempre in un punto in cui l'obliqua forma con la retta un angolo acuto (postulato dell'obliqua);
e) dati una retta e un punto fuori di essa, esiste una e una sola retta passante per il punto e parallela alla retta data ...
Leggi Tutto
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...
pregiudizio algoritmico loc. s.le m. (spec. al pl.) Contenuto etico o ideologico distorto o discriminatorio (per es. verso le fasce più fragili della popolazione) processato dall’algoritmo nella fase di raccolta massiva dei dati e poi generato...