riduzionismo
riduzionismo termine che indica, in generale, la tesi epistemologica secondo cui entità e fenomeni complessi possono essere ridotti a una combinazione di entità più semplici, analizzabili [...] logicismo, che intendeva ridurre la matematica alla sua struttura logica, ritenendo accessorio il riferimento delle definizioni e dei teoremi a concetti e relazioni tra concetti. Paradossalmente, nel xx secolo, mentre per un verso si sono sviluppate ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva trovare un corrispettivo matematicamente preciso della nozione intuitiva di algoritmo. Lo sviluppo ...
Leggi Tutto
Matematico russo di origine lettone (Riga 1828 - Mosca 1881), dal 1865 professore di matematica a Mosca. P., i cui lavori più importanti si svolsero nel campo della geometria differenziale, fu precursore [...] , riuscì a ricavare equazioni equivalenti alle cosiddette equazioni di G. Mainardi e D. Codazzi e dimostrò uno dei teoremi centrali della teoria delle superfici. Un altro importante ciclo di lavori di P. è costituito dalla serie di articoli ...
Leggi Tutto
POSTULATO (lat. postulatum; gr. αἴτημα)
Federigo ENRIQUES
Goffredo COPPOLA
Guido CALOGERO
Significa supposizione o domanda che si fa al principio dell'insegnamento della geometria o di altra scienza [...] "nozioni comuni". Gemino (in Proclo) spiega che fra le due specie di assunzioni sussiste la stessa differenza che fra i teoremi e i problemi o fra le identità e le equazioni, in quanto gli assiomi enunciano delle relazioni, per cui certe proprietà ...
Leggi Tutto
Equilibrio economico
Bruna Ingrao
Giorgio Israel
Il concetto di equilibrio economico
Fin dalla seconda metà del Settecento gli studiosi che si sono occupati di economia hanno fatto uso del concetto [...] quale si presenta come una funzione quasi del tutto generica. Ciò è stato mostrato da Hugo Sonnenschein nel 1974 con un teorema dal quale risulta che ogni funzione polinominale può essere pensata come funzione eccesso di domanda ζ(p) di un'economia e ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. (c) Con altro signif., tendenza al formalismo puro, nell'ambito della critica dei fondamenti ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] quali hanno mostrato le condizioni che permettono di provare l'inclusione stretta tra le classi temporali e tra le classi spaziali (teoremi di gerarchia). A tali studi hanno fatto seguito quelli di M. Blum e A. Meyer, aventi per oggetto le proprietà ...
Leggi Tutto
geometria non euclidea
geometria non euclidea geometria basata sulla negazione di uno o più postulati euclidei. La locuzione è tuttavia generalmente riservata, per le notevoli implicazioni storiche, [...] una geometria in cui una retta avesse più parallele per un punto esterno a essa, ma effettivamente dedusse una serie di teoremi da tali nuovi assiomi e costruì una vera e propria teoria geometrica diversa da quella di Euclide, ma logicamente coerente ...
Leggi Tutto
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] T; è decidibile se e solo se vi è un procedimento effettivo per determinare, per ogni formula A di T, se A è o meno un teorema di T. Si dice che un insieme di assiomi per una teoria T è coerente se e solo se T stessa è coerente; analogamente per la ...
Leggi Tutto
separabilita
Flavio Pressacco
separabilità Proprietà rilevante in differenti settori della finanza e della matematica applicata. Nella finanza, indipendenza di alcune decisioni ottime nella teoria [...] , cioè che divide il piano in due semipiani ciascuno dei quali contiene tutti gli elementi di uno (solo) degli insiemi. Il teorema fu esteso a spazi topologici (➔ spazio matematico) da altri due matematici: l’austriaco H. Hahn e il polacco S. Banach ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...