L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] questi problemi la fisica suggeriva ciò che i metodi formali confermavano: la soluzione generale di un'equazione del forme canoniche per le matrici.
Una generalizzazione del concetto di sistema lineare è stata studiata da Sophus Lie (1842-1899). Essa ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] vista. Si pensi all'esempio, così comune e banale, del semplice trucco formale secondo cui una coppia di numeri reali x e y si possono fondere insieme o si può passare allo studio di un sistema di equazioni differenziali del primo ordine. Come ...
Leggi Tutto
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 [...] il concetto di funzione ricorsiva è l'equivalente formale di quello di funzione calcolabile, la sua formalizzazione fornisce i suoi valori. Possiamo considerare come 'meccanismo' ogni sistema fisico che si evolva secondo le leggi fisiche oggi note. ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] tra l'accuratezza dei metodi e degli strumenti matematici e la natura sfuggente, la scivolosità dei sistemi che si volevano modellare. Il rigore e la precisione formale, che costituivano il loro merito, era proprio ciò che impediva un uso efficace di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] fu, accanto alla pubblicazione dei teoremi gödeliani di completezza e compattezza della logica elementare e della sistemazioneformale a opera di Arend Heyting delle idee brouweriane, l'autentico insediamento sulla scena internazionale della 'seconda ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] . Nel frattempo, tuttavia, egli aveva edificato i primi sistemi di geometria iperbolica ed ellittica.
La vita
Giovanni Girolamo ’ipotesi dell’angolo ottuso, con un ragionamento formalmente corretto che fa intervenire il II postulato euclideo ...
Leggi Tutto
massa
massa [Lat. massa, dal gr. máza "pasta di farina d'orzo"] [LSF] Termine il cui signif. ha avuto una notevole evoluzione storica e un continuo arricchimento, dal primitivo concetto di grandezza [...] storica v. massa, mentre per la definizione formale nell'ambito non relativistico del cosiddetto terzo principio della v. dinamica: II 178 b. ◆ [MCC] Centro di m.: per un sistema di n punti materiali, ognuno di massa mi e vettore di posizione ri, è ...
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 [...] forma quadratica binaria
[3] Q=ax2+2bxy+cy2,
e utilizzando il sistema
egli considerò θ(Q)=b2−ac, il discriminante della forma quadratica, e le teorie matematiche si svilupperebbero: l'ingenuo, il formale e il critico. Nel caso della teoria degli ...
Leggi Tutto
Euclide
Pier Daniele Napolitani
Il padre della geometria
Euclide, vissuto agli inizi del 3° secolo a.C., è noto soprattutto per i suoi Elementi, una vasta raccolta in cui espone i concetti fondamentali [...] . In particolare il matematico tedesco David Hilbert propose una nuova sistemazione della geometria euclidea (quella che studiamo a scuola) in cui metteva in evidenza il ruolo puramente formale dei concetti geometrici: ciò che conta sono solo le ...
Leggi Tutto
spin
spin 〈spin〉 [s.ingl. "rotazione", usato in it. come s.m. invar.] [FSN] [MCQ] Attributo delle particelle elementari e dei sistemi quantistici in generale, multiplo intero o semintero della costante [...] detta nucleone); lo s. isotopico ha una stretta analogia formale con lo s. ordinario, potendo essere considerato come un coincidere con quella relativa ad altri gradi di libertà del sistema in esame. ◆ [FSN] Teorema della connessione s.-statistica ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...