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 [...] ◆ [MCC] V. lagrangiana, o materiale: v. cinematica: I 598 d. ◆ [FAF] V. libera: nella logica matematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. logica: III 484 d. ◆ [FAF] V. meccanica: v. assiomatizzazione: I 181 f. ◆ [TRM] 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
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] e ultrafiltri nelle algebre di Boole è divenuto così di importanza centrale e ha avuto moltissime applicazioni. Nella logica matematica, per es., dove l’insieme delle proposizioni di un linguaggio enunciativo, una volta che si identifichino gli ...
Leggi Tutto
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 [...] delle forme sia minore di m. ◆ [ANM] Integrale l.: lo stesso che integrale curvilineo. ◆ [ALG] [FAF] [INF] Logica l.: ramo recente della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei ...
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 [...] espressioni in altre espressioni mediante un 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 ...
Leggi Tutto
CATEGORIA:
LOGICA
notazione
Dizionario delle Scienze Fisiche (1996)
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ...
Leggi Tutto
CATEGORIA:
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
linguaggio
Dizionario delle Scienze Fisiche (1996)
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L. logici: quelli, detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti a partire da un ben definito alfabeto, che è costituito ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
chiusura
Dizionario delle Scienze Fisiche (1996)
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ...
Leggi Tutto
antinomìa
Dizionario delle Scienze Fisiche (1996)
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] , simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente le teorie matematiche oggetto di studio. Perciò si dovrà, tra l’altro, esigere che la teoria ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Lèvi, Beppo
Enciclopedia on line
Matematico italiano (Torino 1875 - Rosario, Argentina, 1961), prof. di geometria analitica e analisi algebrica (dal 1906) nelle univ. di Cagliari, Parma, Bologna. Nel 1938, in seguito ai provvedimenti [...] (1935-38 e dal 1945). Autore di significativi contributi alla geometria algebrica (scioglimento delle singolarità delle superfici, forme cubiche ternarie), ai fondamenti della geometria e dell'analisi, alla logica matematica (postulato di Zermelo). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE