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 [...] erano rivolti alla formulazione di metodi generali e di teorie astratte come l’algebra astratta, la topologia algebrica, la teoria delle distribuzioni, la teoria delle categorie. Successivamente è stata dedicata una maggiore attenzione alla soluzione ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
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 [...] di spazi di funzioni continue. Questa analisi ha aperto la strada a un approccio al λ-calcolo in termini di teoria delle categorie e oggi sono molti e fondamentali i risultati in cui le due discipline interagiscono.
→ Programmazione, algoritmi di ...
Leggi Tutto
CATEGORIA:
LOGICA
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] , Kurt Schutte, William Tait, Jean-Yves Girard e altri. Su un altro versante, particolare interesse hanno riscosso negli ultimi decenni l’analisi di risultati come l’Hauptsatz nel contesto della teoria delle categorie.
→ Dimostrazione, teoria della ...
Leggi Tutto
CATEGORIA:
LOGICA
estetica
Enciclopedia on line
Filosofia
Dapprima disciplina riguardante la conoscenza sensibile o la percezione, dalla metà del 18° sec. il suo significato prevalente è di disciplina riguardante il bello (naturale e in particolare [...] costituzione dell’e. come disciplina filosofica che – in quanto teoria delle arti delle tradizionali categorie estetiche ed etiche? Alla frattura positiva della soggettività operata dall’immaginazione corrisponde peraltro la modificazione dell ...
Leggi Tutto
CATEGORIA:
ESTETICA
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] l’esperienza del mondo. La s. cognitiva ha avuto un forte impulso dalla teoria dei prototipi avanzata dalla psicologa E. Rosch riguardo alla natura delle categorie (classi concettuali come uccelli, cui appartengono passero, aquila ecc.): queste non ...
Leggi Tutto
classe
Enciclopedia on line
Antropologia
C. matrimoniali Suddivisioni esogamiche (meglio note come fratrie o, se in numero di due, metà) in cui si ripartisce la società, indipendentemente dalla divisione della società medesima [...] nascente dal confronto con altri gruppi. La teoria della privazione relativa presenta il vantaggio di una grande infra classem.
Trasporti
In marina e in aeronautica, ciascuna delle categorie in cui le navi o gli aeromobili civili vengono iscritti ...
Leggi Tutto
CATEGORIA:
SISTEMATICA E FITONIMI
–
MINERALOGIA
–
ALGEBRA
–
STORIA DELLA MATEMATICA
–
SISTEMATICA E ZOONIMI
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DELLA STORIA
–
STORIA DEL PENSIERO FILOSOFICO
–
ISTITUZIONI
–
SISTEMI DI PARENTELA E FORME DI ORGANIZZAZIONE SOCIALE
–
STORIA ANTICA
–
STRUMENTI E TECNOLOGIA APPLICATA
–
TRASPORTI AEREI
–
TRASPORTI MARITTIMI E FLUVIALI
–
TRASPORTI NELLA STORIA
spazio
Enciclopedia on line
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] dell’astrofisica. Gli esperimenti di cui si occupa la fisica spaziale possono essere distinti in due grandi categorie. la cui risposta ai problemi della teoria dello s. e della geometria si trova nella teoria dei gruppi di trasformazione, presentata ...
Leggi Tutto
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
diritto
Enciclopedia on line
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] l’importanza della tradizione greco-romana e di quella cristiana nell’elaborazione delle categorie concettuali proprie ’affermazione di tale orientamento coincise peraltro con la nascita della teoria generale del d., espressione con cui si iniziò a ...
Leggi Tutto
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 [...] le equazioni differenziali che formano il m. stesso. La seconda categoria comprende i m. che consentono di stimare i valori di una alle differenze finite, stocastiche; teoria delle probabilità, teoria dei giochi, teoria dei sistemi ecc. Nei confronti ...
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
Kant, Immanuel
Enciclopedia on line
Filosofo (Königsberg 1724 - ivi 1804). Di genitori pietisti, K. ricevette, specie dalla madre, una severa educazione etico-religiosa: frequentò il Collegium Fridericianum, diretto dal pastore F. A. Schultz, [...] di conoscerlo. L'Estetica trascendentale svolge la teoria delle forme pure dell'intuizione, già sistematizzata nello scritto del (il tempo) viene a determinarsi a seconda delle categorie. Se le categorie si applicano direttamente al tempo, esse si ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE