La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] intuizione non è semplice (Tav. Ia e Ib).
La nostra descrizione è corretta solamente fino a un'approssimazione delprimoordine: occorre tener conto di effetti minori dovuti a effetti gravitazionali variabili. Einstein impiegò quasi dieci anni (dal ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] algebra di Lie come algebra di operatori differenziali delprimoordine (uno dei modi più naturali suggeriti dallo gruppi infiniti in cui si possano sviluppare metodi effettivi.
Logica, combinatoria e K-teoria
Vogliamo soltanto accennare al fatto ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle variazioni
Craig Fraser
Calcolo delle variazioni
Il problema di Euler
Nel 1744 Leonhard Euler formulò il problema principale del calcolo delle variazioni nei [...] Lagrange la cui funzione integranda dipenda solamente dalle derivate delprimoordine di n variabili dipendenti y1,…,yn. Per esempio, calcolo delle variazioni è ben chiara la distinzione logica tra condizioni necessarie e condizioni sufficienti per l ...
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 [...] estremamente più difficili.
Progressi ulteriori vennero con l'introduzione di idee provenienti dalla teoria delle funzioni complesse. L'equazione differenziale delprimoordine
[10] F(z,w,w′)=0
dove w′=dw/dz e F è un polinomio in w e w′, ha ...
Leggi Tutto
CASORATI, Felice
Eugenio Togliatti
Nacque a Pavia il 17 dic. 1835 da Francesco, un medico che fu aggregato alla facoltà medicochirurgica dell'università di Pavia e ripetitore di fisiologia e materia [...] il C., più incline per temperamento alla riflessione logica sui fatti matematici che ai lunghi sviluppi analitici, essere delprimoordine, che la sola del secondo ordine è la curvatura totale, che poi ve ne sono una del terzo e tre del quarto ordine, ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] quale afferma che l’aritmetica di Peano delprimoordine è indecidibile. Il risultato si può logica elementare è indecidibile – come del resto ogni estensione finita di una teoria indecidibile – e che non esiste calcolo per la logica d’ordine ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] genialmente del calcolo approssimato delle radici di equazioni d’ordine superiore. Una larga diffusione dei principi e dei metodi del Liber era concentrata nei primi decenni del 20° sec. sul problema dei fondamenti logicidel corpus teorico della ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] figure del piano e dello spazio, ordinandole in una successione di stretta dipendenza logica. Euclide il numero di tali curve, questione che ha interesse fisico. Il primo problema di questo tipo fu affrontato classicamente da H. Schubert nel 1879 ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] logicamente assurdi o in contrasto con il senso comune. Agli inizi del 19° sec. le ricerche assumono una direzione completamente nuova. N. Lobačevskij ritiene in un primo . vettoriale reale; analogamente le n-ple ordinate (x1, ..., xn) di numeri reali ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] e queste a loro volta nei termini.
Nella logicadel Seicento l’a., intesa dapprima come metodo d’insegnamento rigorosa dell’a. continua nella seconda metà del secolo a opera di matematici di prim’ordine, fra i quali ci limitiamo a ricordare K ...
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,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...