Una dimostrazione più grande di tutta Wikipedia
Da Liverpool non sono solo arrivati i Beatles. È notizia di questi giorni che Alexei Lisitsa e Boris Konev dell’Università di Liverpool hanno pubblicato un preprint in cui fanno un passo avanti verso la risoluzione del problema delle discrepanze di Erdős… o meglio lo fanno fare al computer, visto che la dimostrazione occupa più spazio dell’intera base dati di Wikipedia. Beh, meglio raccontare la storia dall’inizio.
Ho già parlato un paio di volte (qui e qui) del matematico Paul Erdős e delle sue eccentricità. Una sua caratteristica – decidete voi se è eccentrica o no – era quella di sparare congetture a raffica e vedere se lui o qualcun altro riusciva a risolverle. Il problema delle discrepanze (c’è un qualche accenno su Wikipedia) è appunto una di queste congetture: come molti problemi in teoria dei numeri è relativamente facile da esporre, molto meno da dimostrare.
