Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] dimostrazione dell’inesistenza della soluzione, un teorema di Gödel viene in nostro soccorso, comunque stabili. Il funzionale fondamentale è quello indicato con il dal funzionale M descritto come stringa del -calcolo. Tale stringa, in generale può ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] di logica, le Operazioni della logica deduttiva poste in apertura delCalcolo geometrico (1888). Minore è il numero di concetti primitivi proposti da Pieri consente di stabilire il teoremafondamentale della proiettività, e dunque di introdurre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] Teoremi e risultati teorici elaborati negli ultimi decenni dell'Ottocento e nei primi del Novecento favorirono questo passaggio decisivo dall'arte alla scienza delcalcolo Gauss-Seidel. In un fondamentale trattato del 1962, Matrix iterative analysis, ...
Leggi Tutto
L'Ottocento: matematica. Geometria superiore
David E. Rowe
Geometria superiore
Per gran parte del XIX sec., i matematici non ebbero un'idea ben definita del campo di ricerca che è possibile chiamare [...] il primo a formulare il principio fondamentale dell'ottica geometrica, noto come teorema di Malus-Dupin, secondo il quale maggiore rigore nelle tecniche enumerative, in particolare in quelle delcalcolo di Schubert. David Hilbert (1862-1943) non fece ...
Leggi Tutto
Informazione e computazione quantistica: applicazioni
Mario Rasetti
Schemi diversi di computazione quantistica
La computazione e la teoria dell’informazione quantistiche sono ormai entrate nel complesso [...] teorema adiabatico dimostra che un tale approccio è efficiente se lo spettro di energia del sistema considerato ha un gap (vale a dire un salto di energia finito fra stato fondamentale intrappolati, l’implementazione delcalcolo quantistico mediante l ...
Leggi Tutto
letteratura e matematica
letteratura e matematica Letteratura e matematica evocano mondi antitetici: le due culture, appunto, l’una contro l’altra armata. In realtà – a ben guardare – i rapporti e le [...] del pensiero, sono la scienza e la filosofia che rimodellano la dimensione mitica dell’immaginazione, cioè il fondamentale alla dimostrazione di un teorema e che vengono quasi e agli aspetti più meccanici delcalcolo, per esempio nello Zibaldone: ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Barend de Loor, fornì una dimostrazione intuizionista delteoremafondamentale dell'algebra. Le idee di Brouwer cominciarono manipolazione di simboli e considera le limitazioni fisiche delcalcolo; tali idee non concordano con quelle di Brouwer ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Archimede, matematico, fisico e astronomo
Paolo Del Santo
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Sebbene sia spesso ricordato principalmente [...] egli affronta la teoria della leva, il cui principio fondamentale, secondo il quale due corpi sono in equilibrio se equivalente greco del moderno calcolo integrale, introdotto da Eudosso nella prima metà del IV secolo a.C. – delteorema secondo cui ...
Leggi Tutto
geometria
geometria parte della matematica che studia le figure, lo spazio in cui sono inserite e le loro proprietà, relazioni e trasformazioni.
Le origini
Secondo lo storico greco Erodoto (v secolo [...] quindi una conoscenza empirica delteorema di Pitagora. Tuttavia, (sec. iii a.C.) un altro contributo fondamentale allo sviluppo della geometria è dovuto ad Apollonio di tale studio le prime tecniche delcalcolo differenziale, è nell’Ottocento ...
Leggi Tutto
topologia
topologia termine che indica sia un settore disciplinare della matematica sia la famiglia (o collezione) di insiemi aperti (o semplicemente aperti) che definisce uno → spazio topologico.
La [...] spazio ordinario. Le nozioni fondamentali della topologia sono quelle classiche della topologia algebrica vi è il teoremadel punto fisso di → Brouwer (1912), di tali varietà si utilizzano strumenti delcalcolo differenziale di più variabili. Le ...
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):...