Computazione, teoria della
Fabrizio Luccio
La necessità delcalcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] importanza fondamentale nella interpretazione Teorema 7. Non esiste procedura per decidere se due arbitrari automi a pila A1 e A2 sono equivalenti (cioè se L(A1)=L(A2)).
La macchina di Turing
L'automa più potente dal punto di vista delcalcolo ...
Leggi Tutto
L'Ottocento: matematica. Metodi delcalcolo numerico
Dominique Tournès
Metodi delcalcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] con un numero finito di quadrature, dal punto di vista delcalcolo ci si riconduce a quadrature numeriche e alle tecniche ricordate sopra , con i nuovi criteri di rigore del XIX sec., il teoremafondamentale di esistenza detto di 'Cauchy-Lipschitz'. ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] del cambiamento) degli angoli. Il calcolo forniva un ampio repertorio di metodi raffinati, ancora una volta soprattutto di geometria differenziale; nel 1772 l'alsaziano Johann Heinrich Lambert abbozzò i criteri fondamentaliteoremafondamentale ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] funzionali regolari delcalcolo delle variazioni. Questo risultato viene oggi comunemente chiamato teorema di De viene sviluppata in innumerevoli direzioni. Per il suo carattere fondamentale, la Γ-convergenza è ormai diventata uno strumento di ...
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 ⇒A nel calcolo; si parte da teorema di Roger C. Lyndon (1959) sull'esistenza di formule interpolanti, che si può dimostrare dall'Hauptsatz come del resto fatto originariamente da Lyndon stesso.
Altra conseguenza importante è il théorème fondamental ...
Leggi Tutto
Chimica quantistica
Frank Jensen
La materia è costituita da nuclei atomici e da elettroni che interagendo formano gli atomi e le molecole, i quali a loro volta danno origine alla materia inorganica, [...] 2ℏ e −1/2ℏ. Una legge fondamentale della fisica stabilisce che un sistema di metodo meno costoso dal punto di vista delcalcolo, che può fornire approssimativamente l'80 elettronica è però ignoto: il teorema menzionato dimostra solamente che esso ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] del gruppo H sull'algebra esterna costruita sullo spazio cotangente nella classe di 1. I calcoli espliciti che se ne deducono sono collegati ai teoremi coniugate. In essi si utilizzano i teoremifondamentali dei gruppi classici per presentare le ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] più sottile, è legato ai meccanismi delcalcolo non deterministico. La macchina di calcolatore reale. Consideriamo un problema fondamentale e f(n)≥log2 allora P∈DTEMPO(cf(n)).
Il teorema 3 mostra che la complessità in tempo è parametro più critico ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] dei sistemi di equazioni lineari e ai primi elementi delcalcolo differenziale. Molte ipotesi sono introdotte ad hoc: per 1959) e che approderà ai due teoremifondamentali di Kenneth Arrow e Gérard Debreu del 1951. In particolare, nel caso vettoriale ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] si tratteggeranno alcune delle tecniche fondamentali della teoria dei nodi teoria combinatoria dei nodi è il teorema di Kurt Reidemeister, secondo il quale tipico problema delcalcolo delle variazioni e conduce direttamente alle equazioni del moto ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
derivazione1
derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui si deriva (nel sign. trans. e intr. di derivare1):...