Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] superati. In particolare, nell’articolo del 1936 Turing dimostra che il problema della fermata è indecidibile: non esiste alcun algoritmo che, data una generica MT e dato un generico input per essa, consenta di stabilire se la macchina con quell ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Nel pensiero di Saussure la lingua è un sistema di segni che hanno il fine di comunicare [...] matrice inconscia, un a priori che può essere formalizzato con un linguaggio algoritmico: si tratta di una sorta di inconscio collettivo formato da una serie di algoritmi e regole combinatorie dei simboli che strutturano la forma con cui gli uomini ...
Leggi Tutto
L'Ottocento: matematica. Teoria degli invarianti
Leo Corry
Teoria degli invarianti
L'algebra del XIX sec. ebbe uno sviluppo intenso che coprì numerosi domini. Nuove entità matematiche come gruppi, anelli [...] . Il giudizio di Hilbert è stato spesso ripreso e accettato acriticamente. La teoria degli invarianti e l'approccio algoritmico caratteristico dei suoi primi esponenti furono considerati conclusi dopo i risultati di Hilbert, aprendo così il campo all ...
Leggi Tutto
MAGGI, Gian Antonio
Adriano Paolo Morando
Nacque a Milano il 19 febbr. 1856, dal nobile Pietro Giuseppe - noto orientalista, membro dell'Istituto lombardo di scienze e lettere - e da Clara Anelli. Si [...] avrebbero portato all'opera di A. Einstein - un filosofo naturale. Inizialmente, in un'epoca in cui l'asettico approccio algoritmico di J.-L. Lagrange era dominante, le sue idee stentarono a essere accettate e condivise, ma successivamente ebbero la ...
Leggi Tutto
Il c. delle v. è quell'area della matematica definita dal seguente problema: determinare, in una famiglia assegnata di oggetti, quello che rende minima (oppure massima) una certa grandezza. Gli oggetti [...] a una data curva chiusa Γ, in particolare quando la curva è molto complessa (fig. 3).
Una possibile procedura (o algoritmo) per risolvere questo problema è implicitamente contenuta in una delle dimostrazioni del teorema di Jordan: basta tracciare un ...
Leggi Tutto
. È una teoria concettuale e algoritmica, che permette di tradurre le proprietà geometriche e fisiche dello spazio in forma analitica indipendente dalla scelta particolare delle coordinate, cui lo spazio [...] dalla forza viva (v. dinamica, n. 22). E, come già si accennò da principio, la potenza di questo algoritmo si è affermata in modo luminoso nella formulazione quantitativa della relatività generale dell'Einstein, nella quale ancora si presenta una ...
Leggi Tutto
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] di n equazioni lineari in n incognite, che usa un numero di operazioni dell’ordine di n3, non è ottimo, perché esistono algoritmi di complessità O(nα) con α<3. Strassen ha dimostrato che si possono moltiplicare due matrici quadrate 2×2 con sole 7 ...
Leggi Tutto
Diagnosi
Cesare Scandellari
Giorgio Bignami
Diagnosi (dal greco διάγνωσις, dal tema di διαγιγνώσκω, "riconoscere attraverso") indica estensivamente il giudizio con cui si definisce un fenomeno in genere, [...] approcci di più agile applicazione non siano sufficienti a portare a un risultato soddisfacente.
L'approccio sequenziale o algoritmico è basato sui cosiddetti alberi diagnostici o flow-charts. In questo tipo di procedimento il clinico utilizza schemi ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Tullio Levi-Civita
Pietro Nastasi
Tullio Levi-Civita è stato uno dei maggiori matematici della prima metà del Novecento. «Matematico nato, […] passava senza sforzo […] dalla meccanica analitica all’elettromagnetismo, [...] quadratica fondamentale è costituita dalla forza viva. E, come già si accennò da principio, la potenza di questo algoritmo si è affermata in modo luminoso nella formulazione quantitativa della relatività generale dell’Einstein, nella quale ancora si ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q» (e si indica con R ∝ Q), se esiste un algoritmo polinomiale che associa a ogni istanza di R un’istanza di Q in modo tale che la soluzione dell’istanza di Q fornisce la soluzione ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...