METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] un cenno particolareggiato.
La metamatematica di Hilbert. - La teoria dei tipi, escogitata da B. Russell e A. N. Whitehead nei Principia Mathematica tra il 1910 e il 1913, era riuscita a eliminare tutti i paradossi fino allora conosciuti, ma non ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] di proposizioni. Appunto a questo concetto si riduce la definizione paradossale di B. Russell "le matematiche sono quella scienza in cui non si sa di presenti al pensiero nella forma angosciosa del paradosso o della contraddizione, a cui segue allora ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] dei numeri reali non è numerabile.
Questo semplice e ingegnoso ragionamento di diagonalizzazione fu ripreso in tante questioni (anche da Bertrand Russell nel suo celebre paradosso sugli insiemi che contengono sé stessi). Dal momento che era possibile ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] e, in genere, di tutta la matematica del sec. XX.
L'antinomia (detta talora impropriamente anche "paradosso") del B. inosservata fin quando una nuova antinomia sarà scoperta da Bertrand Russell e pubblicata nel 1903; il carattere più elementare dell ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro l’opinione o contro il modo di pensare...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...