La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] matrice normale (contabile). Il primo esempio di sistema considerato è quello della logica proposizionale classica, caratterizzato dalla matrice binaria. Al riguardo si presentano organicamente nel nuovo quadro concettuale le principali conoscenze ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] anche una macchina per stenografare, basata sull’aritmetica binaria, illustrata in una nota all’Accademia torinese delle 1994, n. 48, pp. 201-342; E.A. Zaitsev, An interpretation of P.’s logic, ibid., n. 46, 4, pp. 367-383; C.S. Roero, I matematici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] La novità è costituita dalla presenza di una relazione binaria R tra gli oggetti di W, chiamata ' teoria della corrispondenza e ha rappresentato lo sviluppo più interessante della logica modale moderna. Ne vediamo alcuni esempi. L'enunciato □α→α ...
Leggi Tutto
Le congiunzioni coordinative (o coordinanti) sono parole funzionali invariabili il cui compito è quello di collegare tra loro due o più elementi linguistici (principalmente sintagmi o frasi; i cosiddetti [...] coordinazione avversativa (l’unica ad essere sempre strettamente binaria, cioè a non ammettere la presenza di più un terzo, oppure per ambizione (Svevo, Una vita)
La logica distingue due tipi di disgiunzione: quella esclusiva e quella non esclusiva ...
Leggi Tutto
lambda-calcolo
lambda-calcolo o λ-calcolo o L-calcolo, modello di calcolo introdotto negli anni Trenta del secolo scorso da A. Church allo scopo di rappresentare formalmente il procedimento di computazione [...] ridurre un termine u in un altro termine u′ e la relazione binaria riflessiva e transitiva che si stabilisce fra u e u′ è detta un altro e di sviluppare così un calcolo (→ logica combinatoria). Per rappresentare nel lambda-calcolo funzioni numeriche ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il pensiero occidentale ha sviluppato due diverse concezioni della natura del mondo fisico: [...] più semplice possibile. George Boole, a metà Ottocento, approfondisce le ricerche sulla matematica binaria e dà origine alla cosiddetta algebra della logica (definita appunto booleana), tanto vicina a quella che governa i moderni computer da essere ...
Leggi Tutto
categoria
categoria in algebra astratta, termine indicante una struttura generale, che può essere considerata come terzo livello di astrazione dopo quello degli elementi di un insieme (qualunque sia [...] scrive ƒ: A → B;
• per ogni terna di elementi A, B, C di C, un’operazione binaria MorC(A, B) × MorC(B, C) → MorC (A, C), detta legge di composizione tra : algebra, topologia algebrica, geometria differenziale, geometria algebrica, logica matematica. ...
Leggi Tutto
unita
unità [Der. del lat. unitas -atis "l'essere uno solo"] [LSF] Ciascuna delle parti identificabili in un sistema. ◆ [ALG] Il numero 1, fondamento della numerazione. ◆ [ELT] [INF] Nella tecnica dei [...] ogni parte che svolga una funzione ben definita: u. aritmetica-logica, di controllo, di ingresso e uscita, ecc.: v. decimale. ◆ [ALG] Elemento u.: relativ. a una data operazione binaria, un elemento neutro rispetto a tale operazione. ◆ [ALG] Matrice ...
Leggi Tutto
bit
Mauro Cappelli
Contrazione della locuzione inglese binary digit, rappresenta l’unità di misura del contenuto di informazione di un dato o di un messaggio. Il termine bit viene impiegato con significati [...] disponibili in sole due condizioni: basso e alto, carico o scarico, acceso o spento. A tali valori vengono associati i valori logici 0 e 1. La forma generale di un numero binario è bp−1 bp−2 …b 1 b0 b−1 b−2…b−n il cui valore decimale è
Il bit più ...
Leggi Tutto
funzione booleana
funzione booleana funzione binaria a variabili binarie. È una funzione che è applicata a un insieme di variabili binarie che assumono ciascuna uno di due possibili valori, per esempio [...] 0 o 1. Per esempio, se x e y sono variabili binarie che possono assumere solo i valori 0 e 1, allora la funzione binaria definita da ƒ(x, y) = x ⋅ y è nell’algebra di → Boole (prodotto logico, somma logica, complemento...) sono esempi di funzioni ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....