Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] naturale e adatta all'uso di quella classica quando si sviluppano soggetti quali la topologia algebrica, l'analisi funzionale, la teoria dei modelli di sistemi algebrici generali, ecc. Chiaramente, una fondazione di tale tipo dovrebbe ricollegarsi ...
Leggi Tutto
NUMERICI, CALCOLI (XXV, p. 29; App. III, 11, p. 286)
Enzo Aparo
Introduzione. - La nozione di c. n. si può introdurre, facendo riferimento al termine latino calculus (piccola pietra, pedina), nel modo [...] e metodi dell'analisi numerica.
Interpolazione.
1) Interpolazione lineare.- Sia E uno spazio vettoriale di dimensione n, ed F1, F2, ..., Fn, funzionali lineari in E* (il duale di E). Dati gli scalari y1, y2, ..., yn si vuole trovare un n ∈ E tale da ...
Leggi Tutto
BORELLI, Giovanni Alfonso
Ugo Baldini
Nacque a Napoli il 28 genn. 1608 da Laura Borrello (Porrello, Vorriello), moglie di un soldato spagnolo della guarnigione del Castel Nuovo, Miguel Alonso "de Varoscio", [...] il B. adotta presupposti filosofici quanto al metodo, non quanto alla metafisica; in lui l'interesse filosofico è strettamente funzionale a quello scientifico, e serve per raffinare i metodi da impiegare nei processi concreti di ricerca. Per le opere ...
Leggi Tutto
Leggi di scala
Luciano Pietronero
Le leggi di scala riguardano il comportamento di una struttura in funzione della scala da cui la si guarda. Per i sistemi regolari, sia matematici sia fisici e naturali, [...] Γ(r), a meno di un fattore costante A(b) indipendente dalla variabile r:
[2] Γ(r′= br) = A(b)∙Γ(r) .
Questa relazione funzionale è soddisfatta con qualunque esponente intero o non intero. Infatti, assumendo Γ(r)=rα avremo Γ(r′)=(r∙b)α=bαΓ(r). Vediamo ...
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 [...] dare una semantica costruttiva alla logica intuizionista e lo sviluppo sistematico del collegamento tra derivazioni naturali e funzionali (il cosiddetto isomorfismo di Curry-Howard) con i conseguenti rapporti con il lambda calcolo che coinvolgeranno ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] . 19-40).
L'E. introduceva delle operazioni algebriche fra i sistemi lineari completi e definiva mediante una relazione funzionale un'operazione, la quale permetteva di passare da un sistema lineare ad un altro, detto sistema aggiunto. Mostrò quindi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] e imp tali che, per ogni formula φ e ψ, S⊦ neg(⌈φ⌉)=⌈¬φ⌉, S⊦ imp(⌈φ⌉), ⌈ψ⌉)=⌈φ→ψ⌉. Esso contiene, inoltre, una costante funzionale sub tale che, per ogni formula φ(a) contenente un unico parametro individuale a e per ogni termine t, S⊦ sub(⌈φ(a)⌉,⌈t ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] una 'grammatica razionale' ‒ vale a dire una grammatica pura, non più legata a una singola lingua storica, ma funzionale alla creazione di una lingua universale.
Di fronte alle difficoltà implicite nella realizzazione di un progetto così complesso e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Paolo Freguglia
Gert Schubring
Il calcolo geometrico
Quando pubblicò il trattato Die lineale Ausdehnungslehre (La teoria [...] (e non solo loro) facevano alle posizioni dei vettorialisti. Questi ultimi, per contro, ritenevano eccessivo e poco funzionale nelle applicazioni l'uso dei quaternioni o delle forme geometriche, ed ebbero partita vinta nel campo delle applicazioni ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] di interesse tecnologico a quelli di interesse biologico e anche a s. sociali, sulla base, per questi ultimi, dell'analogia funzionale tra s. sociali e s. di comunicazione, di controllo e di autoregolazione (in questo ampio signif. si parla anche di ...
Leggi Tutto
funzionale1
funzionale1 agg. [der. di funzione, sul modello del fr. fonctionnel]. – 1. a. Relativo a una funzione, inerente alle funzioni esercitate da una persona: competenza f.; privilegi f.; qualifiche f., le qualifiche che, nell’ordinamento...
funzionale2
funzionale2 s. m. [uso sostantivato dell’agg. prec.]. – In matematica, variabile che dipende non da una o più variabili, ma da una funzione.