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
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] connesse con la natura stessa delle t. f. (v. logica matematica: Principi di logica matematica; metamatematica; modelli, teoria dei, in questa Appendice).
Bibl.: S. C. Kleene, Introduction to metamathematics, Amsterdam 1952; E. Agazzi, Introduzione ...
Leggi Tutto
Modellistica matematica
Enciclopedia Italiana - VI Appendice (2000)
Modellistica matematica
Giorgio Israel
Mimmo Iannelli
Caratteristiche e origini
di Giorgio Israel
Un modello matematico è uno schema espresso in linguaggio matematico e volto a rappresentare un fenomeno [...] fondata sulla scienza). Appare chiaro che, se l'esplosione di una tecnologia basata sistematicamente sull'approccio matematico (v. modelli, teoria dei, App. III e App. IV) si situa negli anni Quaranta e Cinquanta, le sue premesse sono facilmente ...
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