LOGICA MATEMATICA
Enciclopedia Italiana - III Appendice (1961)
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
Enciclopedia Italiana - V Appendice (1993)
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
modello
Enciclopedia on line
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
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
geometria
Enciclopedia on line
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
CATEGORIA:
GEOMETRIA
giòchi, teorìa dei
Enciclopedia on line
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
CATEGORIA:
MATEMATICA APPLICATA
funzione
Enciclopedia on line
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
algebra
Enciclopedia on line
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
CATEGORIA:
ALGEBRA
spazio
Enciclopedia on line
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
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
analisi
Enciclopedia on line
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
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
TEMI GENERALI
–
STRUMENTI MUSICALI
–
CHIMICA ANALITICA
–
CHIMICA FISICA
–
STRUMENTI
–
FISICA MATEMATICA
–
ANALISI MATEMATICA
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
PEDAGOGIA
–
BIOGRAFIE
–
PSICANALISI
–
PSICOLOGIA COGNITIVA
–
PSICOLOGIA DELL ETA EVOLUTIVA
–
PSICOLOGIA GENERALE
–
PSICOLOGIA SOCIALE
–
PSICOLOGIA SPERIMENTALE
–
PSICOMETRIA
–
PSICOTERAPIA
–
STORIA DELLA PSICOLOGIA E DELLA PSICANALISI
–
ARCHIVISTICA BIBLIOGRAFIA E BIBLIOTECONOMIA
Leonardo da Vinci
Enciclopedia on line
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