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 [...] ossia tali che se e M⊆N e ℂ(N)≠S, allora ℂ(M)=ℂ(N) e presentò fra l'altro il fondamentale teorema di Lindenbaum secondo cui ogni insieme consistente di proposizioni può essere esteso a uno consistente e completo. Introdusse vari altri concetti, fra ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] Un altro ramo delle applicazioni della logica alla computer science è rappresentato dalla teoria della dimostrazione automatica. In virtù di un teorema di A. Church del 1936, si sa che il concetto di verità logica non è, in generale, decidibile. Ciò ...
Leggi Tutto
GUGLIELMINI, Domenico
Anna Rita Capoccia
Nacque a Bologna, da Giulio e da Gentile Neri, il 27 sett. 1655. A Bologna studiò matematica con G. Montanari e medicina con M. Malpighi: dal primo fu introdotto [...] polemica tra "empirici e razionali", protrattasi anche dopo la morte di Malpighi e relativa all'applicabilità dei teoremi fisico-matematici alla fisiologia, dunque alla validità del modello meccanicistico nell'ambito delle "scienze della vita", nel ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La geometria analitica e l’analisi infinitesimale rappresentano i nuovi e più importanti [...] lettera del 18 ottobre 1640 al collega e connazionale Bernard Frénicle de Bessy che Fermat enuncia quello che viene indicato come “piccolo teorema di Fermat”, per il quale se p è un numero primo ed a è un qualunque numero intero non divisibile per p ...
Leggi Tutto
scambio
Teorie economiche e finanziarie
dello scambio
Gli scambi possono riguardare la cessione e l’acquisizione di beni sia strumentali sia di consumo, di servizi privati per l’uso di un fattore di [...] gli agenti; tale condizione assicura l’efficienza dell’allocazione di equilibrio, come afferma il primo teorema del benessere (➔ benessere, teoremi dell’economia del).
La scatola di Edgeworth (➔ Edgeworth, scatola di) offre un’applicazione grafica di ...
Leggi Tutto
protezione sociale
Alberto Nucciarelli
Sistema di misure di intervento pubblico esercitate mediante l’erogazione di servizi economico-sociali destinati alla correzione degli assetti distributivi del [...] all’assenza di stimoli all’efficienza produttiva (secondo gli assunti del primo teorema fondamentale dell’economia del benessere, ➔ benessere, teoremi dell’economia del), all’espansione della spesa pubblica (e correlate problematiche sulla ...
Leggi Tutto
probabilita, assiomi della
probabilità, assiomi della assiomi che definiscono la teoria della probabilità come teoria matematica riconducibile alla teoria della → misura. Tale impostazione assiomatica [...] deduzioni logiche la teoria matematica della probabilità e dedurne importanti teoremi quali per esempio il teorema della → probabilità totale; il teorema della → probabilità composta; il teorema di → Bayes.
Va sottolineato che, se l’insieme universo ...
Leggi Tutto
Riemann, ipotesi di
Riemann, ipotesi di o congettura di Riemann, congettura formulata nel 1859 da B. Riemann su una particolare distribuzione degli zeri non banali della funzione zeta di → Riemann. Tale [...] (molto grandi) non sia calcolabile in tempi accettabili. La possibilità di dimostrare o confutare l’ipotesi di Riemann è collegata a molte altre congetture della matematica dove i teoremi iniziano con «se l’ipotesi di Riemann è vera, allora ...». ...
Leggi Tutto
In filosofia, rapporto immediato e diretto tra soggetto pensante e oggetto; questo rapporto può essere poi inteso come semplice presenza dell’oggetto alla mente o come immedesimazione del soggetto nell’oggetto. [...] disciplina come sistema puramente formale di simboli, ha visto all’origine degli elementi della matematica (numeri, assiomi, teoremi) un continuo intervento dell’i. concepita come attività della mente che crea e costruisce i costituenti essenziali di ...
Leggi Tutto
GEODESIA (gr. γεωδαισία da γῆ "terra" e δαίω "divido")
Ubaldo BARBIERI
Corradino MINEO
Scienza che abbraccia tutte le teorie che concernono la figura del corpo terrestre, così nell'insieme, come nelle [...] precisione le coordinate ellissoidiche ϕ e Φ nell'estremo dell'arco s, quando questo non supera i 100 km. Per mezzo del notissimo teorema di A. C. Clairaut (r sen a = r0 sen α0), si può anche calcolare l'azimut α nell'estremo dell'arco. Il problema ...
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...