BERTRAND RUSSELL – IN MATEMATICA NON SAPPIAMO MAI DI COSA STIAMO PARLANDO
La matematica pura è interamente costituita da asserzioni per effetto delle quali, se un tale enunciato è vero per qualcosa, allora il tale altro enunciato è vero per quella cosa. È essenziale non discutere se il primo enunciato è realmente vero, e non indicare quale sia la cosa per la quale si suppone che sia vero. Entrambi questi punti attengono alla matematica pura. Nella matematica pura, partiamo da certe regole deduttive, mediante le quali possiamo dedurre che se un enunciato è vero, allora lo è anche un altro enunciato. Queste regole deduttive costituiscono la maggior parte dei principi della logica formale. Assumiamo dunque un’ipotesi che ci sembra attraente, e deduciamo le sue conseguenze. Se la nostra ipotesi riguarda qualcosa, e non una o più cose particolari, allora le nostre deduzioni fanno parte della matematica. Così la matematica può essere definita come la materia nella quale non sappiamo mai di cosa stiamo parlando, né se ciò che stiamo dicendo è vero
[B. Russell, La matematica e i metafisici, in Misticismo e logica]
Nella traduzione italiana di Luca Pavolini, edita Longanesi
@ILLUS. by FRANCENSTEIN, 2022
