LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] essenziali, la l. m. viene oggi detta estensionale e bivalente o classica; con riferimento ad essa possono considerarsi versioni non classiche o estensioni le logiche intuizionistica, polivalente e modale.
Queste hanno avuto negli ultimi anni intenso ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ⋁...⋁ Ai−1 ⋁ Aj+1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenza logica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s(0), w) ⋁¬P( di risoluzione si applica principalmente alla l. classica e può essere trasportato in altri contesti ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] all’aggregazione si giovò indubbiamente anche l’economia classica per esprimere sotto forma di leggi i rapporti Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di T. ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] ); s’intende che non sono però in contraddizione, dal punto di vista logico, con i postulati. Esistono due tipi di g. non euclidea, la fisico. Il primo problema di questo tipo fu affrontato classicamente da H. Schubert nel 1879, il quale contò in ...
Leggi Tutto
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] giocato una volta sola, sembra difficile sfuggire alla sua logica di dilemma. Ma esistono risposte diverse, non è detto ne ha spesso un vantaggio immediato.
Ulteriori sviluppi
La teoria classica dei giochi ha avuto in tempi recenti molti e profondi ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...]
Funzione amministrativa
Con riferimento alla classica tripartizione dei poteri in legislativo, a un valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come valore i ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] punto di vista algebrico hanno la stessa ossatura logica. Inoltre vengono nettamente separate le ‘proprietà algebriche campi di ricerca. Uno dei risultati più importanti è, in ambito classico, la dimostrazione, effettuata nel 1995 da A.J. Wiles del ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] fine dell’Ottocento come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre dimensioni. s. indicava esclusivamente l’ambiente della geometria euclidea classica, ritenuta come l’unica ‘vera’, e nata ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] , da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d accennati nei lavori di Wiener, i legami tra probabilità e teoria classica del potenziale si sviluppano soprattutto per opera di J.L. Doob, ...
Leggi Tutto
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] fine del mondo, evento fantastico in cui operano con logica coerenza e con terribile bellezza le forze della natura indagate baricentri, che segnano i primi reali progressi dopo la classica teoria di Archimede, e sulla resistenza dei materiali. Pure ...
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,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...