Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] da Frege si differenzia dalla nostra per il rifiuto della nozione booleana di universo del discorso e la presupposizione di un dominio universale. Questo significa che per Frege la logica è una disciplina totalizzante: non esistono punti di vista a ...
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: [...] , 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 tuttora alla base del funzionamento ...
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 [...] valore diverso da 1 o 0. Le varie operazioni definite nell’algebra di → Boole (prodotto logico, somma logica, complemento...) sono esempi di funzioni booleane. Interpretando i valori 0 e 1 come valori di verità, rispettivamente «falso» e «vero», si ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
pòrta lògica Circuito elettronico al quale è demandato il compito di eseguire operazioni elementari dell'algebra booleana (NOT, AND, OR ecc.) all'interno di circuiti più complessi. Le p.l. sono le unità [...] fondamentali dei circuiti integrati e sono classificate in funzione del tipo di semiconduttore utilizzato per la loro realizzazione ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] è spesso vista una prova dei limiti intrinseci del formalismo logico. Tra le questioni di carattere epistemologico legate alle s. nel semantica denotazionale interviene anche la s. di algebra booleana, la quale può essere utilmente introdotta nell' ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] (1943), delle attività neurali del cervello alle operazioni di una macchina di calcolo operante secondo le regole logiche dell'algebra booleana. Analogie tra cervello e calcolatore, anche se in forma alquanto cauta, sarebbero state poi delineate da J ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere riprodotti in un elaboratore elettronico.
Definito ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma p ...
Leggi Tutto