• 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
il chiasmo
10 risultati
Tutti i risultati [86]
Fisica [9]
Matematica [40]
Filosofia [26]
Lingua [7]
Storia della matematica [11]
Dottrine teorie e concetti [8]
Logica matematica [7]
Fisica matematica [8]
Biografie [8]
Logica [8]

Tarski Alfred

Dizionario delle Scienze Fisiche (1996)

Tarski Alfred Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoria degli insiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA
TAGS: TEORIA DEGLI INSIEMI – CALIFORNIA – MATEMATICA – VARSAVIA
Mostra altri risultati Nascondi altri risultati su Tarski Alfred (4)
Mostra Tutti

Herbrand Jacques

Dizionario delle Scienze Fisiche (1996)

Herbrand Jacques Herbrand 〈hèrbrant〉 Jacques [STF] (Parigi 1908 - La Bérarde, Isère, 1931) Logico matematico. ◆ [ALG] Teorema di H. e Tarski: lo stesso che teorema di deduzione (←). ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA

polivalente

Dizionario delle Scienze Fisiche (1996)

polivalente polivalènte [agg. Comp. di poli- e -valente] [CHF] Detto: (a) di elemento che presenta più di un grado di valenza (per es., il ferro, che è bi-, tri- ed esavalente, raramente anche monovalente); [...] (logica tetravalente con due gradi di attendibilità, logica pentavalente con tre gradi di attendibilità, ecc.). La teoria delle logiche p. fu fondata tra il 1920 e il 1930 da J. Lukasiewicz, E.L. Post e A. Tarski, e sviluppata poi da molti altri. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ogni estensione di U(α). Ciò vale, come è ovvio, anche per ogni enunciato K logicamente equivalente ad H. Nel 1954 A. Tarski ha dimostrato che questa affermazione è invertibile, cioè: "se un enunciato K, vero in un universo U(α), è vero in qualunque ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su MODELLI, Teoria dei (3)
Mostra Tutti

deduzione

Dizionario delle Scienze Fisiche (1996)

deduzione deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. ◆ [ALG] [FAF] Teorema di d., o di Herbrand-Tarski (1930): da una certa premessa A di un certo insieme I di premesse è derivabile un'espressione B se e solo se ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su deduzione (5)
Mostra Tutti

La grande scienza. Cronologia scientifica: 1951-1960

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1951-1960 1951-1960 1951 Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] opportunamente formalizzata, può essere ridotta al problema di decisione della teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti più importanti della teoria dei modelli. Teoria di Hodge ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

rappresentazione

Enciclopedia on line

L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] delle operazioni di complementazione, unione e intersezione (teorema di M.H. Stone, equivalente al teorema di Lindenbaum-Tarski). Psicologia In psicologia si indica con r. il rinnovarsi dell’esperienza percettiva in assenza dello stimolo sensoriale ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – MECCANICA QUANTISTICA – GEOMETRIA – DOTTRINE TEORIE E CONCETTI – METAFISICA
TAGS: MECCANICA QUANTISTICA – OPERATORI HERMITIANI – SPAZIO VETTORIALE – SPAZIO DI HILBERT – OPERATORI LINEARI
Mostra altri risultati Nascondi altri risultati su rappresentazione (3)
Mostra Tutti

paradosso

Enciclopedia on line

Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – MECCANICA DEI FLUIDI – RELATIVITA E GRAVITAZIONE – PATOLOGIA – PSICHIATRIA – METODI TEORIE E PROVVEDIMENTI – DOTTRINE TEORIE E CONCETTI – LOGICA – METAFISICA
TAGS: INSIEME BENE ORDINATO – RELATIVITÀ RISTRETTA – NUMERO CARDINALE – INSIEME ORDINATO – NUMERO NATURALE
Mostra altri risultati Nascondi altri risultati su paradosso (6)
Mostra Tutti

La grande scienza. Cronologia scientifica: 1971-1980

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1971-1980 1971-1980 1971 I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] algebraic decomposition (CAD). Questa procedura fornisce un notevole miglioramento dell'originale metodo di eliminazione dei quantificatori di Tarski (1951). Scoperto un altro satellite di Giove. Soltanto un anno dopo avere scoperto il satellite Leda ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

La grande scienza. Cronologia scientifica: 1941-1950

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1941-1950 1941-1950 1941 Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] costruire CW-complessi con preassegnati gruppi di omotopia. Decidibilità della teoria delle algebre di Boole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA
  • 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