Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] invece forniti sia dal teorema di Taylor sia dalla teoria dei polinomi ortogonali. Il primo assicura che se f∈Cn([a,b]), il sopra nel trattamento di equazioni differenziali ordinarie delprimoordine, oppure lo stesso metodo agli elementi finiti ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] di formule indimostrabili nel calcolo dei predicati delprimoordine. Questo teorema è basato sulla costruzione di il cui studio, come già affermato, contiene i risultati chiave della teoria della computazione. Se L è il sottoinsieme di Σ* per cui A ...
Leggi Tutto
Leggi di scala
Luciano Pietronero
Le leggi di scala riguardano il comportamento di una struttura in funzione della scala da cui la si guarda. Per i sistemi regolari, sia matematici sia fisici e naturali, [...] e lo sviluppo della teoriadel gruppo di rinormalizzazione negli anni Settanta del secolo scorso hanno notevolmente transizioni delprimoordine. In vari altri casi, però, la transizione è marginalmente continua e viene definita del secondo ordine, o ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] di teoria della dimostrazione avessero avuto ragione a ostinarsi nella strada, apparentemente senza sbocco, di Hilbert.
La congettura di Takeuti
Il calcolo LK come detto sopra si può estendere a linguaggi più forti di quelli delprimoordine e ...
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 [...] loro corrispondenti algebre) su spazi di Hilbert. La teoriadel gruppo di Lorenz, per esempio, necessaria nella formulazione 'algebra di Lie come algebra di operatori differenziali delprimoordine (uno dei modi più naturali suggeriti dallo studio ...
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 [...] equazioni differenziali alle derivate parziali delprimoordine. La sua analisi, pur richiamandosi a idee e tecniche proprie del calcolo delle variazioni, fu impiegata nell'ambito della meccanica analitica, una teoria ben consolidata. Hamilton nel ...
Leggi Tutto
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 [...] il metodo di Cauchy si applica alle equazioni differenziali delprimoordine. La materia è senz'altro discutibile, se caso in cui il parametro sia complesso, guidato in questo dalla sua teoria generale della e.i.g. In tal senso il suo lavoro, sebbene ...
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 [...] questi si rivelarono 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 ...
Leggi Tutto
L'Ottocento: matematica. Calcolo geometrico
Paolo Freguglia
Gert Schubring
Calcolo geometrico
Uno degli aspetti che hanno caratterizzato lo sviluppo della matematica nell'Ottocento è rappresentato [...] plagio.
Al 1843 risale la pubblicazione dei fondamenti della teoria dei quaternioni di William R. Hamilton che in seguito possa rappresentare come combinazione lineare di m grandezze delprimoordine e questo spiega perché l'Ausdehnungslehre, che è ...
Leggi Tutto
L'Eta dei Lumi: matematica. Il calcolo delle variazioni
Ivor Grattan-Guinness
Il calcolo delle variazioni
Il calcolo in una e più variabili
Una volta sviluppata la teoria della differenziazione e integrazione [...] di due variabili, di applicare la teoria nota a ciascuna delle variabili x fy=d(fp)/dx è una condizione delprimoordine necessaria per l'ottimalità. Manipolando una funzione dZ con coefficienti differenziali di ordine superiore p, q (uguale a dp/dx ...
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...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...