• 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
3821 risultati
Tutti i risultati [3821]
Diritto [920]
Biografie [467]
Storia [388]
Arti visive [367]
Temi generali [236]
Economia [217]
Diritto civile [196]
Filosofia [177]
Geografia [129]
Archeologia [190]

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

teoria

Enciclopedia on line

Filosofia Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura. Le domande [...] in alcuni settori o aspetti della realtà. Si parla di t. formalizzata in senso stretto o anche di formalismo o di sistema formale quando T è costituita solamente dal suo linguaggio, dal suo apparato deduttivo e dai teoremi in essa dimostrabili ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: RIVOLUZIONE SCIENTIFICA – ORDINAMENTO PARZIALE – SISTEMA ASSIOMATICO – POSITIVISMO LOGICO – SISTEMA FORMALE

lambda

Enciclopedia on line

Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l. biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] a 2,17K per l’He4), un andamento che ricorda la forma della lettera l. Matematica L. calcolo (o λ-calcolo) Sistema formale sviluppato negli anni 1930 da A. Church, con il contributo di S.C. Kleene, allo scopo di studiare la computabilità delle ... Leggi Tutto
CATEGORIA: GRAMMATICA – TEMI GENERALI – ANTROPOLOGIA FISICA – MICROBIOLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – LOGICA MATEMATICA
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – MACCHINA DI TURING – ESPRESSIONE GENICA – FISICA SUBNUCLEARE – SUTURA LAMBDOIDEA

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

definizione

Enciclopedia on line

Filosofia L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] può essere fatto in un dato campo di indagine. Fisica La d. formale (o relazione di d.) di una grandezza è un’equazione che implicita, quando si costruisce una teoria matematica come sistema ipotetico-deduttivo, rappresenta lo studio di un insieme ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – DOTTRINE TEORIE CONCETTI
TAGS: PRINCIPIO DI INDUZIONE – FILOSOFIA SCOLASTICA – CONCILI ECUMENICI – LOGICA MATEMATICA – CHIESA CATTOLICA
Mostra altri risultati Nascondi altri risultati su definizione (4)
Mostra Tutti

ARTE

Enciclopedia Italiana - V Appendice (1991)

(IV, p. 631; App. I, p. 163) L'arte e le tecniche artistiche dal dopoguerra a oggi. − La storia dell'a. e dei suoi procedimenti ideativi e tecnici nella seconda metà del Novecento, cioè dopo la terribile [...] che egli spalma sui fondi a più strati) come ''nucleo formale''. In tale procedimento, iniziato verso il 1942, la materia viene dell'opera di produrre emozione estetica in virtù del sistema di relazioni linee-colori, indipendentemente dai soggetti e ... Leggi Tutto
TAGS: ISTITUTO CENTRALE PER IL RESTAURO – INTERNAZIONALE SITUAZIONISTA – SECONDA GUERRA MONDIALE – RIVOLUZIONE INDUSTRIALE – ARCHEOLOGIA INDUSTRIALE
Mostra altri risultati Nascondi altri risultati su ARTE (12)
Mostra Tutti

SEMANTICA

Enciclopedia Italiana (1936)

SEMANTICA (fr. sémantique; ted. Bedeutungslehre; ingl. sematology) Benvenuto Terracini Parola foggiata, dal gr. σημαντικός, attraverso una σημαντική [τέχνη] (M. Bréal), per indicare lo studio degli elementi [...] a profitto dell'altro o dell'insieme (cinematografo: cine; lat. rem: "cosa": fr. rien: "nulla"). Le associazioni formali entro il sistema sono poi il mezzo con cui si provvede per solito alla creazione di vocaboli nuovi (derivazione: autista da auto ... Leggi Tutto
TAGS: LESSICOGRAFIA – COPENAGHEN – HEIDELBERG – ANTINOMIA – AGGETTIVO
Mostra altri risultati Nascondi altri risultati su SEMANTICA (8)
Mostra Tutti

Epistemologia

Enciclopedia Italiana - VI Appendice (2000)

(App. IV, i, p. 7o8).  Esauritosi il programma di ricerca neopositivistico, la riflessione filosofica sulla conoscenza scientifica e sulla sua metodologia appare suddivisa, nel ventennio compreso tra i [...] possibile di ipotesi dalla teoria in oggetto e dal più ampio sistema conoscitivo di cui la teoria fa parte. La congiunzione degli o una teoria, ma si limita a fissare condizioni formali necessarie e sufficienti (tramite la nozione logico-semantica di ... Leggi Tutto
TAGS: METODO IPOTETICO-DEDUTTIVO – PRINCIPIO DI VERIFICAZIONE – CRITERIO DI "DEMARCAZIONE – INTELLIGENZA ARTIFICIALE – FILOSOFIA DEL LINGUAGGIO
Mostra altri risultati Nascondi altri risultati su Epistemologia (6)
Mostra Tutti

APPRENDIMENTO

Enciclopedia Italiana - V Appendice (1991)

Il termine sta a indicare il processo di acquisizione e di modificazione di capacità e abilità comportamentali degli organismi viventi animali e umani, nel corso delle esperienze nell'ambiente. Psicologia, [...] dell'intelligenza (senso-motoria, operativo-concreta, operativo-formale) come strumento di equilibrazione all'ambiente. Il processo leggi di a. quali l'esercizio o il rinforzo: ne derivano due sistemi di memoria, a breve e a lungo termine (J.A. Adams ... Leggi Tutto
TAGS: PRINCIPI DI CONSERVAZIONE – CONDIZIONAMENTO OPERANTE – PSICOLOGIA EVOLUTIVA – CALCOLO LOGARITMICO – METODO SCIENTIFICO
Mostra altri risultati Nascondi altri risultati su APPRENDIMENTO (9)
Mostra Tutti

DE SANCTIS, Francesco

Dizionario Biografico degli Italiani (1991)

DE SANCTIS, Francesco Attilio Marinari Nacque il 28 marzo 1817 a Morra Irpina (oggi Morra De Sanctis, in prov. di Avellino), al centro di. una zona che fino a dieci anni prima era stata tutta feudale [...] primo magistero. Certo, la competenza grammaticale e testuale e la sensibilità alle cose della lingua (alla lingua come sistema formale in cui penetrare con il rigore dell'intelligenza, della scienza e del gusto) erano allora e restarono per sempre ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: STORIA DELLA LETTERATURA ITALIANA – STATI UNITI D'AMERICA – RIVOLUZIONE FRANCESE – UNIVERSITÀ DI NAPOLI – VENTENNIO FASCISTA
Mostra altri risultati Nascondi altri risultati su DE SANCTIS, Francesco (9)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 383
Vocabolario
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,...
realiżżazióne
realizzazione realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...
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