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
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
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE