Boole George
Dizionario delle Scienze Fisiche (1996)
Boole George
Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento [...] l'elemento 1 è in questo caso l'insieme Q, l'elemento 0 è l'insieme vuoto e x-=Q/x per ogni x. Inizialmente concepita per la risoluzione matematica di problemi di logica, si è posta alla base della formalizzazione del modo di funzionare dei circuiti ...
Leggi Tutto
Nanotecnologie
Il Libro dell'Anno 2002
Robert A. Freitas
Nanotecnologie
Nell'infinitamente piccolo la nuova sfida scientifica e tecnologica
I progressi dell'elettronica molecolare
di Robert A. Freitas
21 dicembre 2001
La rivista Science (vol. [...] di Delft è riuscito a costruire un buon numero di circuiti logici, compresa una cella di memoria che può essere utilizzata come parte funzionali. Nel 2001, il gruppo di Lieber ha fabbricato porte logiche funzionali di tipo OR, AND e NOR e ha connesso ...
Leggi Tutto
Tschirnhaus, Ehrenfried Walter von
Enciclopedia on line
Scienziato (Kieslingswalde, Görlitz, 1651 - Dresda 1708). Volontario nell'esercito olandese nella guerra contro la Francia; si occupò di matematica, fisica e filosofia e fu in relazione con i più grandi [...] riprende il tema spinoziano della funzione etica della filosofia (intesa come "medicina" della mente) e l'accentuazione, in logica, del momento della definizione rispetto a quello puramente formale e grammaticale, tema che troverà ampia risonanza nel ...
Leggi Tutto
Relativita
Enciclopedia del Novecento (1982)
RELATIVITÀ
Christian Moller
Tullio Regge
Eugenio Garin
Relatività di Christian Møller
sommario: 1. Introduzione e panorama storico: a) il principio di relatività speciale. Sistemi inerziali; b) relatività [...] xA, A) e se ne semplifichi la notazione in Tα. Trasportando Tα nel punto vicino xAα+dxAα, si otterranno nuove componenti Tα+dTα. È logico assumere che le dTα siano lineari nelle Tα e nelle dxAα. In tal caso si avrà una formula del tipo
dove le Γαγβ ...
Leggi Tutto
congiunzione
Dizionario delle Scienze Fisiche (1996)
congiunzione
congiunzióne [Der. del lat. coniunctio -onis "atto ed effetto del congiungere o del congiungersi", dal part. pass. coniunctus di coniungere "congiungere", comp. di cum "insieme" e iungere [...] costituito dagli elementi che si trovano sia in A che in B; si chiama anche intersezione o prodotto logico. ◆ [FAF] C. logica: il connettivo enunciativo "e" (simb. ⌃); collega due enunciati, formandone uno che risulta vero se e solo se entrambi ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec. il secolo della m. pura, fu ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
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 [...] anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di un'implicazione e il numero di volte ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
METROLOGIA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
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
tavola
Dizionario delle Scienze Fisiche (1996)
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazione logica binaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali operazioni ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
proprieta
Dizionario delle Scienze Fisiche (1996)
proprieta
proprietà [Der. del lat. proprietas -atis, da proprius "proprio"] [LSF] Qualità propria e particolare che un ente (una sostanza, un corpo, un sistema materiale, un essere vivente, una specie [...] un ente, è sinon. di attributo, qualità, predicato e simili. ◆ [ALG] [ANM] P. formali di un ente matematico: ogni conseguenza logica della definizione stessa del-l'ente; sono tali, per es., le p. associativa, commutativa, distributiva, ecc. di alcune ...
Leggi Tutto