L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] al 1864 e pubblicò due testi fondamentali per lo sviluppo dell'algebra della logica: The mathematical analysis of logic (1847) e '1' egli indica l'universo di discorso e con '1−x' il complemento di x (la classe di tutte le cose che non sono x). Con ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] che la famiglia EC delle classi elementari è chiusa rispetto a complemento, intersezione e riunioni finite e costituisce un'algebra di Boole. Di fatto, EC coinciderà con l'algebra dei clopen (insiemi simultaneamente aperti e chiusi) dello spazio ...
Leggi Tutto
genere
gènere s. m. [dal lat. genus -nĕris, affine a gignĕre «generare» e alle voci gr. γένος «genere, stirpe», γένεσις «origine», γίγνομαι «nascere»]. – 1. Nel suo sign. più ampio, termine indicante una nozione che comprende in sé più specie...
termine
tèrmine s. m. [dal lat. termĭnus «limite, confine»]. – 1. a. Sinon. letter. o raro di confine, come limite di paesi e regioni, poderi e altri spazî territoriali. È usato per lo più al plur.: presso del Carnaro Ch’Italia chiude e suoi...