• 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
lingua italiana
384 risultati
Tutti i risultati [1534]
Matematica [384]
Filosofia [341]
Biografie [312]
Fisica [200]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Algebra [109]
Epistemologia [105]

metateoria

Enciclopedia on line

In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA – SEMANTICA

bicondizionale

Enciclopedia on line

In logica matematica, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi. ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su bicondizionale (2)
Mostra Tutti

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] . Entrambi i risultati suddetti – assieme a quello di Gödel – non sono che gli esempi più sorprendenti di tutta un’area di ricerca che riguarda tanto le teorie formalizzate che problemi di contenuto più esplicitamente matematico. → Logica matematica ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA
Mostra altri risultati Nascondi altri risultati su teoremi di indecidibilita (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 [...] teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una ... 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

definibilita

Enciclopedia della Scienza e della Tecnica (2008)

definibilità Silvio Bozzi Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per capire la portata della cosa, basti pensare che varietà affini o proiettive, insiemi semialgebrici ... Leggi Tutto
CATEGORIA: LOGICA

teorema di compattezza

Enciclopedia della Scienza e della Tecnica (2008)

teorema di compattezza Silvio Bozzi Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche. → Modelli, teoria dei ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ALFRED TARSKI – SE E SOLO SE – CARDINALITÀ
Mostra altri risultati Nascondi altri risultati su teorema di compattezza (1)
Mostra Tutti

intersezione

Enciclopedia on line

Matematica Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] è il punto di contatto preso con molteplicità d’intersezione 2. Nella teoria degli insiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e si designa con A∙B o con A ⋃ B, la classe di ... Leggi Tutto
CATEGORIA: GEOMETRIA – LOGICA MATEMATICA – EDILIZIA
TAGS: SCIENZA DELLE COSTRUZIONI – TEORIA DEGLI INSIEMI – GEOMETRIA ALGEBRICA – LOGICA MATEMATICA – LUOGO GEOMETRICO
Mostra altri risultati Nascondi altri risultati su intersezione (1)
Mostra Tutti

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] . Questa circostanza ha dato l’impulso iniziale a uno straordinario fiorire degli studi di logica matematica, i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per ... Leggi Tutto
CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI
Mostra altri risultati Nascondi altri risultati su matematica (14)
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 [...] un suo originale sviluppo. Le motivazioni, oltre a quella di riprendere lo studio delle m. con gli strumenti raffinati della logica matematica, sono state anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemi formali per ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ETNOMUSICOLOGIA – SILLOGISTICA – ARISTOTELICA

dualità

Enciclopedia on line

Matematica Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri. Principio di dualità Nella geometria proiettiva [...] altri mediante un opportuno procedimento, codificato appunto nel principio di dualità. Si hanno così un principio di dualità in logica matematica (sia enunciativa sia dell’ordine): se le formule A e B sono equivalenti, anche le formule duali A′ e ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – GEOMETRIA – LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA – MATEMATICA – TOPOLOGIA – GERGONNE – PONCELET
1 2 3 4 5 6 7 8 ... 39
Vocabolario
lògica
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,...
lògico¹
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...
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