metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a campi nuovi divenendo una m. in senso ampio. Un esempio importante di tali ampliamenti è dato dalla teoria dei modelli. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Supino, Giulio
Enciclopedia on line
Ingegnere (Firenze 1898 - Bologna 1978); prof. (1934) di costruzioni idrauliche, in seguito (1947-68) di idraulica a Bologna. Socio nazionale dei Lincei (1968). Gli si devono studî teorici su problemi [...] di elasticità, di idrodinamica, di teoria dei modelli, nonché importanti contributi alla risoluzione di questioni tecniche (sistemazioni fluviali, ecc.). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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
Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle tavole semantiche), nella teoria dei modelli, ecc. Tra le sue opere di questa seconda fase d'attività: Les fondements logiques des mathématiques (1950 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Buckingham, Edgar
Enciclopedia on line
Fisico-matematico statunitense (Filadelfia 1867 - ivi 1940). Sono dovute al B. importanti ricerche di fluidodinamica, di teoria dei modelli e di analisi dimensionale, sotto il suo nome viene talora ricordato [...] uno dei teoremi fondamentali della teoria della similitudine meccanica, più noto come teorema π. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Pastóre, Valentino Annibale
Enciclopedia on line
Filosofo (Orbassano 1868 - Torino 1956), prof. di filosofia teoretica nell'univ. di Torino (1922-39); socio corrispondente dei Lincei (1950). Si è occupato di logica (estendendone la portata in modo da [...] i suoi studî sull'esistenzialismo e la fenomenologia. Tra gli scritti: Sopra la teoria della scienza (1903); Logica formale dedotta dalla considerazione dei modelli meccanici (1906); Il pensiero puro (1913); Il problema della causalità (1921); Logica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
IMPIANTO PILOTA
Enciclopedia Italiana - V Appendice (1992)
IMPIANTO PILOTA
Giuseppe Biardi
Premessa. − Le attività di sperimentazione su scala di laboratorio e su scala d'i. p. e l'elaborazione dei risultati conseguiti ai fini del trasferimento di scala (scale-up) [...] sono tollerabili.
Per la realizzazione razionale delle apparecchiature pilota ci si rifà usualmente alla teoria dei modelli.
Significato operativo dei modelli matematici. - Si è detto che ai fini di progettare, sviluppare e controllare i complessi ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Sistemi, scienza e ingegneria dei
Enciclopedia del Novecento (1982)
Sistemi, scienza e ingegneria dei
AArnaldo M. Angelini
di Arnaldo M. Angelini
SOMMARIO: 1. Premessa. □ 2. Considerazioni generali: a) applicazione della scienza dei sistemi agli esseri viventi; b) applicazione [...] e la ricostruzione nell'assieme originario. I metodi e gli strumenti impiegati dalla diakoptics sono la teoria dei modelli, la teoria dei grafi, la teoria delle reti interconnesse, che hanno rappresentato il punto di partenza in lavori che Krone ha ...
Leggi Tutto
Edilizia e costruzioni
Enciclopedia del Novecento (1977)
Edilizia e costruzioni
Konrad Wachsmann
Elio Giangreco
di Konrad Wachsmann e Elio Giangreco
EDILIZIA E COSTRUZIONI
Costruzioni in acciaio di Konrad Wachsmann
sommario: 1. Introduzione. 2. Punti nello [...] delle variabili in gioco e che è tanto più interessante, anche se più onerosa, quanto più le condizioni del modello si avvicinano a quelle del prototipo.
La teoria dei modelli, che si fonda sul principio di similitudine fisica fra il prototipo e il ...
Leggi Tutto