teoria formale
Enciclopedia della Matematica (2013)
teoria formale
teoria formale → teoria. ...
Leggi Tutto
finitezza, teoremi di
Enciclopedia on line
In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] , anche infinito, se per ogni suo sottoinsieme finito esiste un modello, anche l’intero insieme P deve avere un modello. Questa seconda formulazione del teorema, assai importante in teoria dei modelli, è nota anche come teorema di compattezza. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
teoria
Enciclopedia della Matematica (2013)
teoria
teoria termine generico che tuttavia, nella sistemazione logica della matematica, si specifica assegnando un apparato logico, costituito da:
• un → linguaggio formale, che definisce le → formule [...] gruppi come contesto per la risolubilità delle equazioni algebriche), la teoria rimane una teoria formale, quasi una impalcatura fine a sé stessa. Una particolare teoria matematica deve comunque possedere la caratteristica di consistenza (non devono ...
Leggi Tutto
apprendimento
Enciclopedia on line
Nella ricerca sia psicologica sia etologica, acquisizione persistente di modificazioni del comportamento, dal semplice condizionamento di riflessi primari fino a forme complesse di organizzazione delle [...] di spiegare il passaggio dal non-sapere al sapere nei termini di un modello teorico e delle sue connessioni formali. Una classica teoria formale è quella ipotetico-deduttiva di C.L. Hull, in cui un insieme complesso di postulati, corollari e teoremi ...
Leggi Tutto
CATEGORIA:
ETOLOGIA
Chomsky, Avram Noam
Enciclopedia on line
Linguista statunitense (n. Filadelfia 1928). Fondatore della grammatica generativo-trasformazionale, le cui ripercussioni sono state profonde non solo nella linguistica, ma anche nella psicologia e nella [...] della scienza. Ch. da un lato ha aperto nuove vie in una branca della matematica moderna (la teoria formale dei linguaggi), dall'altro ha riaffermato il carattere mentalistico e astratto (invece che comportamentistico ed empiristico) della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] grandezza stessa.
Matematica
In logica matematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e una teoria T’ che ‘parli’ di T, le d. del primo tipo sono espresse nel linguaggio L’ di T’, mentre ...
Leggi Tutto
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] Schröder nel 1895 e ripreso da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
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, [...] : legalità; irretroattività; riserva assoluta di legge formale; non ;ultrattività della legge penale; e responsabilità affermazione di tale orientamento coincise peraltro con la nascita della teoria generale del d., espressione con cui si iniziò a ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] , del pensiero matematico. Di qui l’articolazione dell’analisi delle teorie in due prospettive complementari: l’analisi sintattica, interessata alle teorie come sistemi formali, dispositivi di carattere appunto sintattico per costruire deduzioni, la ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
STATISTICA
Enciclopedia Italiana - V Appendice (1995)
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] ;l(θ1, d1) = 0 per θεΘ1
Utilizzando lo schema della teoria delle decisioni con una funzione di danno di questo tipo è necessario se le variazioni periodiche sono state rimosse. Formalmente una serie storica è detta ''strettamente stazionaria ...
Leggi Tutto