tipi, teoria dei
Enciclopedia della Matematica (2013)
tipi, teoria dei
tipi, teoria dei in logica, teoria elaborata da B. Russell per superare le antinomie, basate sulla autoreferenzialità, venute alla luce all’epoca della crisi dei → fondamenti della matematica. [...] che il tipo di un insieme risulti fissato in base a un duplice criterio: non solo in base al tipo dei suoi elementi (come nella teoria dei tipi semplici), ma anche in base al grado di complessità della definizione con cui l’insieme è stato introdotto ...
Leggi Tutto
chimica
Enciclopedia on line
Scienza che studia le proprietà, la composizione, l’identificazione, la preparazione e il modo di reagire delle sostanze sia naturali sia artificiali del regno inorganico e di quello organico.
Storia
La [...] radicali di J. Liebig, F. Wohler e J. Berzelius (1832), estensione alla c. organica della teoria dualistica, e la teoria dei tipi (1848) proposta da C.F. Gerhardt e C. Wurtz. La prima postulava l’esistenza di gruppi di atomi (i radicali) in grado di ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
anatomia
Enciclopedia on line
Scienza biologica che studia la forma e la struttura degli esseri viventi: deve il suo nome al metodo di indagine, la dissezione, che ancora oggi, pur integrato da moderni e perfezionati metodi di ricerca, [...] e la struttura degli organi e degli apparati, specie di Vertebrati, trascurando sia il problema genealogico sia la teoria dei tipi animali, e perdendo anche di vista ogni problema di ordine generale e sintetico. Ne rimase comunque un’imponente ...
Leggi Tutto
CATEGORIA:
ANATOMIA
filosofia analitica
Enciclopedia on line
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] a un’indagine logica e linguistica delle proposizioni matematiche, che sfocia da un lato nella teoria delle descrizioni definite, dall’altro nella teoria dei tipi. Il Tractatus logico-philosophicus (1922) di L. Wittgenstein, in cui confluiscono i ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] di risolvere i paradossi di fronte a cui pareva essersi arenato lo studio dei fondamenti della matematica. Particolarmente fortunata la sua teoria dei tipi, per cui ogni funzione proposizionale e ogni classe viene considerata di tipo logicamente ...
Leggi Tutto
Church, Alonzo
Enciclopedia on line
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 [...] . Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda-conversion (1941) e Introduction to mathematical logic (1956 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
insieme
Enciclopedia on line
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] di porre rimedio in vari modi; lo stesso Russell elaborò la teoria dei tipi, in cui impose limitazioni all’assioma di comprensione stabilendo una specie di gerarchia, detta appunto dei ‘tipi’, secondo la quale un i. deve essere di tipo superiore a ...
Leggi Tutto
Pìria, Raffaele
Enciclopedia on line
Chimico (Scilla, Reggio di Calabria, 1813 - Torino 1865). Laureatosi in medicina, studiò chimica con Dumas a Parigi, dove realizzò importanti ricerche sulla salicina. Fu docente di chimica all'univ. di [...] chimica organica con l'impaccio di questa o quella teoria dei tipi, era meglio aíirontare lo studio delle sostanze complesse metodo per la preparazione delle aldeidi dagli acidi per riduzione dei loro sali di calcio con formiato di calcio e ottenne ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] mathematica di B. Russell e A. N. Whitehead che lo portò a proporre una semplificazione della teoria dei tipi, a introdurre la distinzione tra paradossi logici e paradossi semantici (dovuti questi ultimi semplicemente a «scorretta» formulazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Varsavia
Enciclopedia on line
(pol. Warszawa) Città capitale della Polonia (1.767.798 ab. nel 2018). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo [...] originali, di un trattato di logica matematica; L. Chwistek (1884-1944), ideatore di un sistema che semplifica la teoria dei tipi ramificati di B. Russel. S. Jaskowski, J. Słupecki, C. Lejewski si trasferirono in Gran Bretagna, B. Sobiciński negli ...
Leggi Tutto