• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
sinonimi
atlante
il chiasmo
90 risultati
Tutti i risultati [1134]
Matematica [90]
Diritto [184]
Temi generali [128]
Arti visive [126]
Scienze demo-etno-antropologiche [89]
Economia [83]
Archeologia [82]
Filosofia [72]
Lingua [64]
Storia [65]

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] della l.m. che si ebbe a cavallo tra il 19° e il 20° sec. è dovuto al tentativo di definire un sistema formale per la matematica e di dimostrarne la completezza e la coerenza con gli strumenti della logica. Nel 1931 però K. Gödel dimostrò che ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

decisione

Enciclopedia on line

Diritto D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] un procedimento effettivo per stabilire se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – TEMI GENERALI – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – SOCIOLOGIA
TAGS: DISTRIBUZIONE DI PROBABILITÀ – DIRITTO DELL'UNIONE EUROPEA – TEORIA DELLE DECISIONI – GRAFICA COMPUTERIZZATA – INGEGNERIA GESTIONALE
Mostra altri risultati Nascondi altri risultati su decisione (2)
Mostra Tutti

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

dimostrazione

Enciclopedia on line

Filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] , inerenti alle forme stesse della intuizione. In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI
TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – GNOSEOLOGICO – ARISTOTELE – SILLOGISMO
Mostra altri risultati Nascondi altri risultati su dimostrazione (4)
Mostra Tutti

metamatematica

Enciclopedia on line

Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] dimostrò anche l’indipendenza dell’ipotesi del continuo dagli altri assiomi. La m., che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a campi nuovi divenendo una m ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su metamatematica (4)
Mostra Tutti

Tarski, Alfred

Enciclopedia on line

Tarski, Alfred Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO
Mostra altri risultati Nascondi altri risultati su Tarski, Alfred (4)
Mostra Tutti

Post, Emil Leon

Enciclopedia on line

Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non solo i due valori di verità V e F, ma un valore ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CALCOLO PROPOSIZIONALE – FUNZIONE RICORSIVA – TEORIA DEI SISTEMI – SISTEMA FORMALE – ALGORITMO
Mostra altri risultati Nascondi altri risultati su Post, Emil Leon (2)
Mostra Tutti

modalità

Enciclopedia on line

Matematica Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato. Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] della logica matematica, sono state anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemi formali per la logica modale, è forte l’intenzione di usare tale logica per dare una più soddisfacente analisi dei connettivi così come ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ETNOMUSICOLOGIA – SILLOGISTICA – ARISTOTELICA

Lindenbaum, Adolf

Enciclopedia on line

Logico e matematico polacco (n. Varsavia 1904 - m. in un campo di concentramento nazista dopo il 1941). Si è occupato soprattutto, in collaborazione con A. Tarski, della struttura algebrica dei sistemi [...] (algebre di L.). Il suo nome è legato anche a un teorema relativo al completamento di sistemi formali incompleti. Un altro suo notevole risultato, ottenuto nel 1938 in collaborazione con A. Mostowski, è la dimostrazione, sotto certe determinate ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CAMPO DI CONCENTRAMENTO – VARSAVIA – NAZISTA – POLACCO

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 [...] studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali espressioni sono valide dove (b1′, b2′, ..., bp′) è una qualsiasi soluzione del sistema normale. Per il problema b) ci si basa sul confronto ... 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
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 9
Vocabolario
màcchina
macchina màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
ordine órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali