vero
Dizionario delle Scienze Fisiche (1996)
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] le sue variabili con elementi del-l'universo; così, per es., la formula ∀a∃b=a:2 (equivalente all'enunciato "per ogni elemento a esiste un elemento b uguale alla metà di a") è v. se interpretata nell'universo ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
diramazione
Enciclopedia della Matematica (2013)
diramazione
diramazione termine che assume significati differenti in ambiti diversi della matematica.
☐ In logica è sinonimo di → alternativa, e designa una struttura di controllo (o schema di → controllo) [...] usata per formulare algoritmi in un dato linguaggio di programmazione. La struttura della diramazione è la seguente: se una data condizione c è verificata allora viene eseguita una istruzione a, mentre ...
Leggi Tutto
Putnam, Hilary
Enciclopedia on line
Filosofo statunitense (Chicago 1926 - Boston 2016). Filosofo dai molteplici interessi e dalla vasta produzione, P. è collocabile all'interno della corrente analitica così come questa si è venuta configurando [...] (dal 1965 al 2000, anno del suo ritiro) alla Harvard University. Formatosi nel momento di pieno sviluppo del positivismo logico e influenzato dal pensiero di R. Carnap e H. Reichenbach, P. si volse dapprima alla filosofia della scienza, intervenendo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
elaboratore elettronico, unita di un
Enciclopedia della Matematica (2013)
elaboratore elettronico, unita di un
elaboratore elettronico, unità di un ognuno degli elementi costitutivi dell’organizzazione logica di un elaboratore, destinato all’esecuzione di un particolare compito. [...] unità periferiche, sovrintendendo allo scambio di dati fra queste e la memoria principale, nonché fra questa e l’unità aritmetico-logica. La memoria centrale contiene i dati e i programmi in corso di elaborazione ed è composta da una memoria a sola ...
Leggi Tutto
Bertrand Russell
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Numerosi sono stati i campi di attività del filosofo inglese Bertrand Russell: dalla logica [...] ricorrere alla teoria dei tipi. In base a questa teoria gli oggetti di discorso sono ripartiti in una gerarchia di tipi logici: gli oggetti individuali, per esempio, vengono assegnati al tipo 0, gli insiemi di tali individui al tipo 1, gli insiemi di ...
Leggi Tutto
or
Enciclopedia della Matematica (2013)
or
or uno degli operatori logici fondamentali dell’ algebra di → Boole, detto anche somma logica e indicato con +. Corrisponde al connettivo ∨ della → disgiunzione. Tale operatore binario, dati due enunciati [...] numero di espressioni booleane dà 1 se e solo se almeno una di esse ha valore 1 (è vera). Esso realizza quindi una funzione logica che assegna il valore 0 in uscita se e solo se tutti gli ingressi valgono 0 e assegna valore 1 in uscita in tutti gli ...
Leggi Tutto
minimizzazione
Enciclopedia della Matematica (2013)
minimizzazione
minimizzazione in generale, processo di riduzione al minimo. Il termine è usato in logica classica per indicare la possibilità di introdurre un sistema minimo di connettivi, da cui ricavare [...] o anche a un solo connettivo detto negazione congiunta, spesso indicato con ↓ (→ enunciati, linguaggio degli). Sempre in logica si parla di minimizzazione di una espressione booleana, cioè di una espressione dell’algebra di Boole, per indicare la sua ...
Leggi Tutto
metateorico
Dizionario delle Scienze Fisiche (2012)
metateorico
metateòrico [agg. (pl.m. -ci) Der. di metateoria] [FAF] Problema m.: relativo all'analisi logica di una teoria: v. logica: III 486 e. ...
Leggi Tutto
sistema di assiomi, completezza di un
Enciclopedia della Matematica (2013)
sistema di assiomi, completezza di un
sistema di assiomi, completezza di un → assioma; → completezza logica. ...
Leggi Tutto
Pastóre, Valentino Annibale
Enciclopedia on line
Filosofo (Orbassano 1868 - Torino 1956), prof. di filosofia teoretica nell'univ. di Torino (1922-39); socio corrispondente dei Lincei (1950). Si è occupato di logica (estendendone la portata in modo da [...] infine i suoi studî sull'esistenzialismo e la fenomenologia. Tra gli scritti: Sopra la teoria della scienza (1903); Logica formale dedotta dalla considerazione dei modelli meccanici (1906); Il pensiero puro (1913); Il problema della causalità (1921 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE