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 [...] del cervello alle operazioni di una macchina di calcolo operante secondo le regole logiche dell'algebra booleana. Analogie tra funzioni mentali sarebbero così un software (un insiemedi istruzioni e procedure algoritmiche) realizzabile su diversi ...
Leggi Tutto
Neopositivismo
FFrancesco Barone
di Francesco Barone
Neopositivismo
sommario: 1. Cenni storici. 2. Fonti e precedenti del neopositivismo. 3. Prima fase del neopositivismo: analisi logica del linguaggio [...] o dalla costituzione di nuove branche di essa, come la teoria degli insiemi. E significativo il fatto, per es., che proprio dalle ricerche dei matematici inglesi di metà Ottocento sui fondamenti dell'algebra sia nata quell'‛algebra della logica' di G ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] . ◆ [ALG] Particolare tipo di struttura algebrica che si realizza quando in un insieme s'introducono due opportune leggi di composizione binaria, che godono di proprietà simili a quelle delle ordinarie operazioni di unione e d'intersezione nella ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] che ha uguale modulo e uguale direzione rispetto a v, ma verso opposto; (e) nella teoria degli insiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione; per es ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...