variabile
Dizionario delle Scienze Fisiche (1996)
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
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
TERMODINAMICA E TERMOLOGIA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA
lineare
Dizionario delle Scienze Fisiche (1996)
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
CATEGORIA:
FISICA MATEMATICA
–
METROLOGIA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
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
CATEGORIA:
LOGICA
Church Alonzo
Dizionario delle Scienze Fisiche (1996)
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
pragmatismo
Enciclopedia on line
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
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
Rinascimento
Enciclopedia on line
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
legge
Enciclopedia on line
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
valore
Enciclopedia on line
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
condizione
Enciclopedia on line
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
Locke, John
Enciclopedia on line
Filosofo (Wrington, Somersetshire, 1632 - Oates, Essex, 1704), uno dei promotori dell'Illuminismo inglese ed europeo, il primo teorico del regime politico liberale, l'iniziatore dell'indirizzo critico [...] analizzate e definite: tale è il caso della matematica e dei problemi morali. La scienza naturale fondata in quello religioso, l'ideale educativo che ha di mira la funzione sociale dell'uomo e i compiti che lo attendono nella vita associata ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE