L’approccio che Scheinerman usa in questo libro per definire i vari tipi di numero è quello che è di moda negli ultimi tempi, e avevo già visto sul testo di Körner, che infatti è citato in bibliografia. L’idea è quella di definire le varie estensioni dei numeri come classi di equivalenza di coppie di quelli precedenti: per esempio la coppia di naturali (a, b) viene associata al numero intero a-b. Ma come sempre in questi casi dobbiamo controllare i dettagli, e qui direi che il testo merita davvero. A differenza di Körner, che comincia assumendo una conoscenza intuitiva dei numeri naturali che poi vengono definiti formalmente più avanti, Scheinerman usa il concetto di corrispondenza biunivoca per definire i naturali, e poi proseguire. Ma soprattutto le note a latere sono secondo me molto illuminanti, e permettono di vedere la creazione dei numeri in modo meno calato dall’alto: tenete anche conto che nella prefazione Scheinerman dice esplicitamente che è più interessato alle definizioni che alle dimostrazioni. E soprattutto la parte finale con gli accenni a estensioni non standard dei reali (IL campo ordinato completo, e già questa definizione, ancorché formalmente standard, fa capire il suo interesse da vero matematico nel vedere come si può andare avanti a partire da quello che parrebbe un punto fermo) merita davvero. Scheinerman mostra non solo i quaternioni ma anche i numeri p-adici e quelli tropicali, di cui non avevo mai sentito parlare…
Una lettura davvero utile non solo per chi è interessato ai fondamenti della matematica ma anche per chi non vuole fermarsi alle definizioni scolastiche dei numeri.

Edward Scheinerman, From Counting to Continuum : What Are Real Numbers, Really?, Cambridge University Press 2024, pag. 232, € 24,26, ISBN 9781009538671 – se acquistate il libro dal link qualche centesimo va a me
Voto: 5/5