Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
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ù [...] , ma il metodo si può estendere combinandolo con altre idee.
Con i lavori di Robinson degli anni Cinquanta l'idea della teoria dei modelli come contesto in cui generalizzare i concetti e i metodi dell'algebra si sviluppa in nuove direzioni sino a ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
teoria dei grafi
Enciclopedia della Scienza e della Tecnica (2008)
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] Paul Erdös sui grafi casuali (random graphs), che introducono metodi probabilistici nello studio dei grafi e hanno trovato interessanti applicazioni anche nella teoria dei modelli.
→ Informatica teorica; Logica matematica; Matematica: problemi aperti ...
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 [...] simulare il comportamento di un sistema reale, riducendo al minimo la verifica empirica diretta.
Teoria dei modelli
Generalità e cenni storici
La teoria dei m. è la parte della logica matematica che studia le relazioni tra insiemi di espressioni ...
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
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 [...] Ax e Simon B. Kochen del 1965 sulla congettura di Artin, che apriranno la strada allo studio della teoria dei modelli dei campi valutati. Accanto a queste ricerche, dirette esplicitamente alle applicazioni, continuano le indagini connesse a classici ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Robinson, Abraham
Enciclopedia on line
Logico e matematico (Waldenburg 1918 - New Haven, 1974). Prof. all'univ. di Toronto (1951) e, successivamente, a Gerusalemme, a Los Angeles e alla Yale University (dal 1967). È uno dei fondatori della [...] teoria dei modelli e gli si deve la creazione dell'analisi non standard. Tra le opere: On the metamathematics of algebra (1951); Complete theories (1956); Introduction to model theory and to the metamathematics of algebra (1963); Non standard ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] svolte negli anni 1920 da L. Löwenheim e T. Skolem, all’origine della teoria dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza ...
Leggi Tutto
ALGEBRA
Enciclopedia Italiana - IV Appendice (1978)
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] "limiti" diretti e inversi di algebre.
Una costruzione che ha acquistato importanza di primo piano nella teoria dei modelli, è quella dei cosiddetti "ultraprodotti": per essa, e per il teorema fondamentale del polacco J. Łoš che collega questa ...
Leggi Tutto
SKOLEM, Thoralf
Enciclopedia Italiana - V Appendice (1994)
SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] per le soluzioni (1935). Grande pioniere della matematica e studioso dei principi è considerato uno dei fondatori della teoria dei modelli e uno dei più profondi artefici della teoria assiomatica degli insiemi per aver dimostrato, tra l'altro, che ...
Leggi Tutto
Equazioni funzionali
Enciclopedia del Novecento (1977)
Equazioni funzionali
JJacques Louis Lions
di Jacques Louis Lions
Equazioni funzionali
sommario: 1. Motivazione ed esempi. 2. Definizione delle soluzioni. 3. Il metodo della trasformazione di Fourier; [...] sistemi stocastici, su cui torneremo più avanti.
Qui non insisteremo sulla teoria dei modelli o su quella dell'identificazione dei sistemi: ad esempio, nel caso di un sistema che sia retto da una equazione alle derivate parziali di tipo noto, di cui ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] può essere ridotta al problema di decisione della teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti più importanti della teoria dei modelli.
Teoria di Hodge. William V.D. Hodge, usando ...
Leggi Tutto