La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] del 1903. Riesz dimostrò che per tutti i valori di λ, tranne al più un insieme numerabile di valori isolati, l'applicazione che porta f−λAf in un punto g è un'applicazione iniettiva di C[a,b] su sé stesso, con inversa continua che definisce f come ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. parola è accettata da questo automa se esiste un calcolo che porti alla pila vuota. Un risultato elementare afferma che un linguaggio è ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] , e gli scritti di filosofia teorica che hanno portato i matematici a considerare le combinazioni e, come ῾Adī, suo contemporaneo, il quale cercava i numeri della 'divisione logica' secondo cui si organizzano gli elementi della frase inna al-qā᾽ ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] numero colpiscono, tra l’altro, l’inevitabilità e l’universalità; siamo portati a pensare che i numeri, almeno quelli con cui si conta, che non tentiamo nemmeno di giustificare.
Un’argomentazione logica ne mostra l’equivalenza con un altro principio ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] si possono vedere come casi speciali di tavole con infiniti valori nell'intervallo [0,1], il che porta le semantiche per le logiche polivalenti ad approssimarsi alla semantica probabilistica. Ma ultimamente un modo diverso di usare infiniti valori ha ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] essere spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che "le soprattutto nel campo dello studio delle élites e hanno portato all'individuazione di strutture piramidali - o gerarchiche ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insieme finito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] ), i cui risultati vanno comunque configurati nella logica dell'incerto; peraltro, il loro grado di dice integrato di ordine d e si indica con I(d). Ciò porta a considerare i processi ARIMA (processi ARMA integrati) definiti dalla seguente relazione ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] della dimensione. Siano K e L due complessi geometrici di celle di uno spazio euclideo e f :K→L un'applicazione continua che porta vertici di K in vertici di L. La f si può approssimare con l'applicazione β:K→L definita rappresentando i punti di ...
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' [...] intorno al Sole senza fare appello alla bontà di Dio, portarono ‒ nelle sue mani e poi in quelle di Laplace ‒ 'teoria'; gli sforzi per esprimere in simboli il ragionamento logico ne sono soltanto un piccolo esempio, in parte ispirato dall ...
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 [...] una parte notevole delle sue ricerche fu dedicata alla logica e alla teoria dei fondamenti.
Seguendo la traccia n. 58, pp. 842-850). La definizione, semplice, ma di portata vastissima, stabilisce che una successione {fk(x)} di funzioni definite su ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...