teoria formale 

teoria formale → teoria.

teoria formale

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.

finitezza, teoremi di

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

teoria

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

apprendimento

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

Chomsky, Avram Noam

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

definizione

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

ricorsività

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

diritto

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

lògica matemàtica

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

Enciclopedia Italiana - V Appendice (1995)

STATISTICA

formalismo 

s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità ...

formalismo

formale1 

formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica ...