BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] costituisce uno dei capitoli più affascinanti e impegnativi della teoria degli insiemi e della filosofia della matematica.
L'operalogica del B. non si esaurisce, comunque, in questi primi lavori: a parte la già menzionata collaborazione che fornisce ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] come un moderno manuale: i Grundzüge der theoretischen Logik (Lineamenti di logica teoretica). In quest’opera gli studiosi, dopo aver separato la logica proporzionale dalla logica del primo ordine, avviano l’indagine metateorica del sistema formale ...
Leggi Tutto
Macchina
Roberto Vacca
Il termine macchina indica qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi, in modo che il moto relativo di questi trasmetta o anche [...] del settore, la sfida sembrava consistere nel realizzare macchine capaci di eseguire le operazioni più sofisticate compiute dagli uomini: ragionamenti logici e matematici. Questi, invece, sono stati elaborati prontamente e in modo brillante dalle ...
Leggi Tutto
intelligenza artificiale
Roberto Serra
L’intelligenza artificiale consiste in un insieme eterogeneo di tecniche e metodi volti a costruire sistemi artificiali dotati di capacità cognitive, che siano [...] a soglia, e riuscirono a dimostrare che, per ogni funzione logica finita, esiste una rete di neuroni di questo tipo capace di soluzioni, che sono prodotte trasformando i genitori con opportuni operatori. Sebbene in questo caso non si abbia a che fare ...
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
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] funzione proiezione) e che è chiuso rispetto agli operatori di composizione, ricorsione e minimalizzazione. Nel 1938 calcolo. Più in generale, recenti sviluppi dell’informatica teorica e della logica hanno mostrato che il λ-calcolo fa da ponte tra la ...
Leggi Tutto
funzione
funzióne [Der. del lat. functio -onis, dal part. pass. functus di fungi "adempiere"] Concetto che s'identifica con quello di applicazione, essendo peraltro preferito se l'insieme di arrivo è [...] , per lavoro, o energia, di estrazione elettronica da una superficie solida per fotoemissione o per effetto termoelettronico. ◆ F. logica: operazione che, applicata a uno o più elementi (argomenti) di un certo insieme, dà come risultato (valore) un ...
Leggi Tutto
algebra
àlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] e passaggio al complementare) verificanti determinate condizioni: v. circuiti logici: I 618 b. ◆ [ALG] A. C∗: v. algebre di operatori: I 94 e. ◆ [ALG] A. C∗ abeliana: v. algebre di operatori: I 94 f. ◆ [FSN] A. delle cariche, della densità ...
Leggi Tutto
commutatore
commutatóre [s.m. e agg. (f. -trice) Der. di commutare (→ commutante) "che commuta, che effettua una commutazione"] [ELT] [OTT] C. a quattro vie optoelettronico: circuito optoelettronico [...] III 509 c. ◆ [ALG] C. di operatori lineari: per due operatori lineari A e B è l'operatore AB-BA, che s'indica spesso con il simb : dispositivo elettronico, in genere costituito da circuiti logici opportunamente connessi, che serve per avviare, su ...
Leggi Tutto
Verità
Massimo Dell'Utri
(XXXV, p. 164)
In sintonia o in contrasto con la tradizione, buona parte della riflessione novecentesca sul concetto di v. può essere vista come un tentativo di esplicitare [...] , Jenseits von Gut und Böse, Leipzig 1886 (trad. it. in Opere 1870/1881, Roma 1993, pp. 93-101).
F.W. Nietzsche, it. in Le Scienze, 1969, pp. 20-29).
W.V.O. Quine, Philosophy of logic, Englewood Cliffs (N.J.) 1970 (trad. it. Milano 1981).
A.N. Prior, ...
Leggi Tutto
TELEFONO
Paolo de Ferra
(XXXIII, p. 405; App. II, II, p. 959; III, II, p. 909; IV, III, p. 595)
A partire dagli anni Ottanta l'evoluzione della telefonia è stata caratterizzata da un'incalzante sequenza [...] non soltanto sotto l'aspetto del collegamento ma anche sotto l'aspetto logico poiché, come si è detto, all'introduzione di mezzi di regionale, 2 gestori internazionali, 2 operatori via satellite, 67 operatori radiomobili e oltre 1500 gestori di ...
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...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...