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 [...] necessarie e sufficienti affinché una formula di T sia un teoremadi T. Una prima soluzione di questo problema è espressa dal teoremadicompletezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida ...
Leggi Tutto
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] ) è ricorsiva generale. Essa ha formulazioni equivalenti nella tesi di Turing, nel principio di Markov di normalizzazione degli algoritmi e nel teoremadicompletezzadi Post. La tesi di Ch. e l'affermazione inversa (cioè ogni funzione ricorsiva ...
Leggi Tutto
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 [...] tutti, il teoremadi compattezza – sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] dello schema
[1] m□nA ╔ □ jkA m, n, j, k≥0
si può dimostrare un teoremadicompletezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema
[2] ∀w1, w2, w3, w4
((w1Rmw2 w1Rjw3)⊃∃w4(w2Rnw4 w3Rkw4))
dove m,j ...
Leggi Tutto
Logico e matematico statunitense (Brooklyn 1921- Oak land 2006), dal 1962 al 1965 presidente dell'Association for symbolic logic. A lui si deve, fra l'altro, una nota versione del teoremadicompletezza [...] semantica per le teorie del 1º ordine. Importante il suo impegno per garantire l'accesso all'istruzione universitaria per studenti svantaggiati tramite incentivi economici ...
Leggi Tutto
completezzacompletézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] verità coincidente con f (nel senso che per gli stessi argomenti assume gli stessi valori di f). ◆ [FAF] Teoremadi c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine ...
Leggi Tutto
teoremadi compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] ultrafiltri con particolari proprietà dicompletezza. Di qui la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teoremadi compattezza si estende ...
Leggi Tutto
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] teoria: possiamo tuttavia, senza pretese dicompletezza, dare un’idea del suo di Nash, così come è un equilibrio ogni coppia di strategie di punto sella per i giochi a somma zero. Inoltre, il teoremadi von Neumann diventa un corollario di quello di ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] entrambi falsi. Lo schema che segue riassume le tavole di verità che rappresentano i connettivi appena descritti.
Un teorema logico, detto dicompletezza funzionale, afferma che, data una qualunque f. di verità f a n argomenti, per ogni n esiste ...
Leggi Tutto
Nel calcolo delle probabilità (dal gr. στοχαστικός «congetturale»), lo stesso di casuale e aleatorio. Per estensione, nel linguaggio scientifico, si dice di strumento, procedimento, teoria, modello atti [...] , per un teoremadi A.N. Kolmogorov, l’esistenza della distribuzione di probabilità dell’insieme {Xt}.
Tipi di processi stocastici
Processo che la condizione dicompletezzadi un mercato è analoga a quella di assenza di transizioni di fase in un ...
Leggi Tutto