D'ERCOLE, Pasquale
Franco Cambi
Nacque a Spinazzola, in provincia di Bari, il 23 dic. 1831 da Giovanni. Compiuti i primi studi nel paese natale, poi quelli superiori in seminario a Molfetta, nel 1848-49 [...] la sua attività filosofica pubblicando a Torino uno studio su La logica aristotelica, la logica kantiana ed hegeliana e la logicamatematica con accenno alla logica indiana, di cui stese soltanto le prime due parti. Il lavoro, prevalentemente ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Carlo Schiavi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Nel panorama culturale degli anni Sessanta, fortemente segnato dall’emergere di [...] suo sistema, ma anche fotografie con didascalie – come nel caso dell’americano Douglas Huebler – oppure grafici, diagrammi, calcoli numerici, gli stessi strumenti desunti dalla linguistica strutturale, la deduzione scientifica e la logicamatematica. ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] ◆ [MCC] V. lagrangiana, o materiale: v. cinematica: I 598 d. ◆ [FAF] V. libera: nella logicamatematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. logica: III 484 d. ◆ [FAF] V. meccanica: v. assiomatizzazione: I 181 f. ◆ [TRM] V ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] e ultrafiltri nelle algebre di Boole è divenuto così di importanza centrale e ha avuto moltissime applicazioni. Nella logicamatematica, per es., dove l’insieme delle proposizioni di un linguaggio enunciativo, una volta che si identifichino gli ...
Leggi Tutto
ricorsivita
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] curve patologiche.
La teoria della ricorsività è una delle branche fondamentali della logicamatematica e si pone come obiettivo quello di definire, in senso matematicamente rigoroso, il concetto intuitivo di → funzione calcolabile, per la quale cioè ...
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 [...] classi, conservandone le strutture e i morfismi (i → funtori). La teoria delle categorie conferisce unità concettuale a branche diverse della matematica: algebra, topologia algebrica, geometria differenziale, geometria algebrica, logicamatematica. ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logicamatematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logicamatematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ...
Leggi Tutto
Wiener
Wiener Norbert (Columbia, Missouri, 1894 - Stoccolma 1964) matematico statunitense. Dopo il dottorato conseguito all’età di 18 anni alla Harvard University, con una tesi di logicamatematica, [...] Insegnò, a partire dal 1919, al mit di Cambridge (Massachusetts). Diede fondamentali contributi nel campo della teoria matematica dei processi stocastici, della previsione e del calcolo delle probabilità, e a partire dai suoi lavori sulla statistica ...
Leggi Tutto
Hirzebruch
Hirzebruch Friedrich (Hamm, Renania Settentrionale-Vestfalia, 1927 - Bonn 2012) matematico tedesco. Ha studiato matematica, fisica e logicamatematica presso l’università di Münster, dove [...] algebriche complesse di dimensione qualunque. Hirzebruch ha esercitato una grande influenza sullo sviluppo e la diffusione della matematica in Germania; è stato uno dei fondatori, nel 1957, e animatore della Matematische Arbeitstagung di Bonn. Per ...
Leggi Tutto
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,...
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...