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 [...] che i quanti quantizzati rappresentanti particelle elementari interagenti costituiscono un insieme completo di operatori quando si trovano lontano dalla zona d'interazione: v. campi, teoria quantistica ...
Leggi Tutto
semantico
semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] (cioè in una certa classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione ...
Leggi Tutto
Peter Fritz
Peter 〈pétër〉 Fritz [STF] (Tengen 1899 - Überlingen 1949) Prof. di matematica in scuole medie. ◆ [ALG] Teorema di P.-Weyl: dimostra la completezza dei caratteri delle rappresentazioni unitarie [...] dei gruppi compatti ...
Leggi Tutto
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 [...] e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] (e non la ha tuttora) dando origine a sviluppi di estremo interesse.
Da tutti questi risultati emerge che sufficiente per la model-completezza è la possibilità ‒ dati due modelli M e M′ per cui M⊆M′ ‒ di trasportare in M le soluzioni di equazioni o ...
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 teorema di completezza [...] 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
Statistico (Berlino 1707 - ivi 1767); medico e sacerdote, per primo si propose di dedurre leggi generali dai dati raccolti e superò gli altri "aritmetici politici" (J. Graunt e W. Petty) per la sistematicità [...] e completezza della sua opera. Die göttliche Ordnung in den Veränderungen des menschlichen Geschlechts aus der Geburt, dem Tode und der Fortpflanzung desselben erwiesen (1741; 6a ed., 1798) gli valse la nomina a membro dell'Accademia prussiana delle ...
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 [...] che risultano casi speciali dello schema
[1] m□nA ╔ □ jkA m, n, j, k≥0
si può dimostrare un teorema di completezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema
[2] ∀w1, w2, w3, w4
((w1Rmw2 w1Rjw3)⊃∃w4 ...
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 [...] Essa ha formulazioni equivalenti nella tesi di Turing, nel principio di Markov di normalizzazione degli algoritmi e nel teorema di completezza di Post. La tesi di Ch. e l'affermazione inversa (cioè ogni funzione ricorsiva è effettivamente calcolabile ...
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 [...] 19° e il 20° sec. è dovuto al tentativo di definire un sistema formale per la matematica e di dimostrarne la completezza e la coerenza con gli strumenti della logica. Nel 1931 però K. Gödel dimostrò che in qualsiasi sistema formale coerente in grado ...
Leggi Tutto
completezza
completézza s. f. [der. di completo]. – 1. L’esser completo, o anche compiuto, finito in sé: c. di un elenco, di una raccolta, di una narrazione; la follia della c. persegue una totalità irreale per inibirci l’unico spazio aperto...
semantico
semàntico agg. [dal fr. sémantique, e questo dal lat. tardo semantĭcus, gr. σημαντικός «significativo», der. di σημαίνω «segnalare, significare»] (pl. m. -ci). – 1. a. In linguistica, relativo alla semantica, al significato: problemi...