(la lista delle parole matematiche si trova qua!)
I cardinali, intesi come gli alti prelati della chiesa cattolica, sono così comuni in Italia che penso chiunque abbia sentito nominare il termine. Magari però a molti di loro non è mai venuto in mente di scoprire da dove giunga questa parola, e men che meno immaginano che anche i matematici hanno i loro cardinali!
L’origine della parola è latina: cardus significa “appoggio, cardine”, proprio come quelli su cui una porta gira su se stessa. Poi, per un torinese come me, il cardo è la strada principale di un accampamento romano, assieme al decumano che gli è perpendicolare… ma qua andiamo un po’ fuori dal seminato. Quello che conta è che “cardinale” sta a significare come senso traslato “qualcosa di fondamentale”: i cattolici, oltre ai prìncipi della Chiesa, parlano anche di virtù cardinali – prudenza, fortezza, giustizia e temperanza, da non confondersi con fede, speranza e carità che sono virtù teologali – mentre i cartografi parlano di punti cardinali.
I matematici sono arrivati molto più tardi a sfruttare il nome: bisogna infatti aspettare la seconda metà del XIX secolo, quando sono iniziati tutti i dibattiti sui fondamenti della matematica e si è iniziato ad osservare piu attentamente i numeri naturali. Ci si è così accorti che da una parte i numeri potevano essere visti nel loro ordine appunto naturale (primo, secondo, terzo…), e hanno chiamato quei numeri ordinali; ma potevano anche essere visti ciascuno per conto proprio, guardando la loro grandezza. In questo caso, probabilmente, hanno ritenuto che questo fosse il concetto fondamentale, e così nel 1865 è entrato nel linguaggio matematico il termine “numero cardinale”. Poi è arrivato Georg Cantor, che ha deciso che i cardinali potevano anche essere infiniti, e quindi i cardinali intesi come numeri si sono espansi più dei cardinali intesi come prelati. Addirittura, una volta che i logici si sono fatti prendere la mano, sono nati concetti astrusi come quello dei cardinali inaccessibili, che possono esistere ma non si possono definire come limite di altri cardinali; insomma, qualcosa di evanescente, anche perché dipende da una serie di assiomi che si vuole accettare come veri. Un bel salto, a partire dal significato iniziale: non trovate?