Laplace Pierre-Simon de
Laplace 〈laplàs〉 (in origine La Place) Pierre-Simon de (questa particella viene quasi sempre fatta cadere) [STF] (Beaumont-en-Auge, Calvados, 1749 - Parigi 1827) Prof. di matematica [...] da L. nel 1773, hanno grande importanza nella fisica matematica e in varie questioni tecniche (analisi di circuiti elettrici, , teorie dei servosistemi, ecc.). Nella tab. sono dati alcuni esempi di funzioni F(t) e delle loro trasformate di L. f(s) (l ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] probabilità con spazio degli eventi elementari Ω, è una funzione misurabile su Ω a valori in uno spazio misurabile S v. cinematica: I 598 d. ◆ [FAF] V. libera: nella logica matematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] da preferire; (c) di fenomeno retto da una legge matematica (detta anch'essa legge l.: v. oltre) di (x)+g(x)]=Af(x)+Ag(x). La derivazione e l'integrazione di una funzione costituiscono due esempi di operatori l.; non è così, per es., per l' ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] processo di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte ...
Leggi Tutto
Church Alonzo
Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] , cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ricorsiva è effettivamente calcolabile) non si possono né dimostrare, né confutare, ma solo rendere accettabili con argomenti di ...
Leggi Tutto
Indirizzo di pensiero sorto negli USA intorno al 1870 e diffusosi più tardi in Europa, dove ebbe il maggior successo nei primi decenni del Novecento.
C.S. Peirce: dal pragmatismo al pragmaticismo
Il termine [...] e gli sviluppi più recenti della logica matematica, sottolineando il carattere ipotetico delle proposizioni generali ‘scuola attiva’. L’essenza del p. consiste nel riconoscere la funzione operativa del pensiero, per cui nulla in astratto è un ‘dato ...
Leggi Tutto
Periodo di storia della civiltà che ebbe inizio in Italia con caratteristiche già abbastanza precise intorno alla metà del 14° sec. e affermatosi nel secolo successivo, caratterizzato da una fruizione [...] 1492 e il 1600.
Il termine
Nella forma attuale e con funzione periodizzante, il termine R. è entrato nell’uso italiano piuttosto tardi fra l’arte di F. Brunelleschi e di Masaccio, la matematica di P. Toscanelli e le conturbanti visioni di L.B. ...
Leggi Tutto
Diritto
Diritto costituzionale
In via generale, l’atto di un organo (monocratico o collegiale) investito della cosiddetta funzione legislativa. A differenza della consuetudine, che nasce spontaneamente [...]
Un ulteriore fattore che ha contribuito a trasformare la funzione legislativa nel corso del 20° sec. è stata più generali: per es., la l. delle inverse in logica matematica); oppure relazioni di più o meno diretta derivazione sperimentale (l. ...
Leggi Tutto
Economia
Definizioni
Capacità di un bene di soddisfare un bisogno, ma anche, nel senso più comune di v. di scambio, il prezzo relativo del bene stesso, cioè la sua capacità di acquistare altri beni. V. [...] metafisica proprio perché auspicava nuove «tavole di valori».
Matematica
V. assoluto Se a è un numero reale nel calcolo differenziale (o teorema di Lagrange) Se f(x) è una funzione continua nell’intervallo (a, b) e derivabile nell’interno, esiste un ...
Leggi Tutto
Diritto
Diritto civile
Avvenimento futuro e incerto, dall’avveramento del quale viene fatta dipendere l’efficacia del negozio giuridico ovvero la risoluzione del rapporto con questo costituito. È un elemento [...] Si hanno varie specie di c.; in base alla sua funzione, si distingue la c. sospensiva, che sospende il verificarsi cioè le c. senza le quali E non si sarebbe verificato
Matematica
Nell’ambito del significato generale di limitazione imposta a una o ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...