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

algebra di Boole

Enciclopedia della Scienza e della Tecnica (2008)

algebra di Boole Silvio Bozzi Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] e ultrafiltri nelle algebre di Boole è divenuto così di importanza centrale e ha avuto moltissime applicazioni. Nella logica matematica, per es., dove l’insieme delle proposizioni di un linguaggio enunciativo, una volta che si identifichino gli ... Leggi Tutto
CATEGORIA: TEMI GENERALI – LOGICA
TAGS: TEORIA DELLA MISURA – LOGICA MATEMATICA – GARRETT BIRKHOFF – INSIEME ORDINATO – SPAZIO COMPATTO
Mostra altri risultati Nascondi altri risultati su algebra di Boole (2)
Mostra Tutti

lineare

Dizionario delle Scienze Fisiche (1996)

lineare lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] delle forme sia minore di m. ◆ [ANM] Integrale l.: lo stesso che integrale curvilineo. ◆ [ALG] [FAF] [INF] Logica l.: ramo recente della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – METROLOGIA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su lineare (2)
Mostra Tutti

lambda-calcolo

Enciclopedia della Scienza e della Tecnica (2008)

lambda-calcolo Silvio Bozzi Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] espressioni in altre espressioni mediante un processo di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGI DI PROGRAMMAZIONE – TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – FUNZIONI RICORSIVE – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su lambda-calcolo (1)
Mostra Tutti

notazione

Dizionario delle Scienze Fisiche (1996)

notazione notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ... Leggi Tutto
CATEGORIA: FISICA DEI SOLIDI – FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su notazione (1)
Mostra Tutti

chiusura

Dizionario delle Scienze Fisiche (1996)

chiusura chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logica matematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su chiusura (2)
Mostra Tutti

tautologia

Enciclopedia della Scienza e della Tecnica (2008)

tautologia Silvio Bozzi Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] della logica classica coincidono con le tautologie le cui matrici hanno come algebre le algebre di Boole e il valore designato è 1, mentre tautologie intuizioniste saranno le tautologie rispetto a matrici su algebre di Heyting. → Logica matematica ... Leggi Tutto
CATEGORIA: LOGICA
Mostra altri risultati Nascondi altri risultati su tautologia (4)
Mostra Tutti

Church Alonzo

Dizionario delle Scienze Fisiche (1996)

Church Alonzo Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] di C.: enunciata da C. nel 1936, afferma che ogni funzione effettivamente calcolabile, cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – LOS ANGELES – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su Church Alonzo (3)
Mostra Tutti

modus ponens

Dizionario delle Scienze Fisiche (1996)

modus ponens modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – INFERENZA
Mostra altri risultati Nascondi altri risultati su modus ponens (1)
Mostra Tutti

antinomìa

Dizionario delle Scienze Fisiche (1996)

antinomia antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su antinomìa (3)
Mostra Tutti

neopositivismo

Enciclopedia on line

Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo. I primi sviluppi La data di nascita [...] formale del n. è il 1928, allorché un gruppo di studiosi di varie discipline – filosofia, fisica, logica, matematica, sociologia, psicologia – si raccolse nel Verein Ernst Mach, poi detto Wiener Kreis (➔ Vienna), con lo scopo di diffondere una « ... Leggi Tutto
CATEGORIA: DOTTRINE TEORIE E CONCETTI – STORIA DEL PENSIERO FILOSOFICO
TAGS: FILOSOFIA ANALITICA – POSITIVISMO LOGICO – LOGICA, MATEMATICA – CIRCOLO DI VIENNA – SCIENZE EMPIRICHE
Mostra altri risultati Nascondi altri risultati su neopositivismo (7)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 35
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