Une collection de documents scientifiques d'Alan Turing, presque perdus, a été vendue aux enchères pour plus de 300 000 £ à Lichfield, dans le Staffordshire. La vente comprenait l'exemplaire personnel de Turing de sa thèse de doctorat de 1939, « Systèmes de logique basés sur les ordinaux », et son article de 1937, « Sur les nombres calculables ». Ces travaux sont fondamentaux pour l'informatique théorique.
Les enchères ont vu les offres s'envoler bien au-delà des estimations initiales. « Sur les nombres calculables » s'est vendu pour 208 000 £, tandis que « Systèmes de logique basés sur les ordinaux » a atteint 110 500 £. La vente aux enchères a été menée par Rare Book Auctions à Lichfield.
La collection comprenait également des objets personnels, notamment une lettre manuscrite d'Ethel Turing expliquant le don des documents à l'ami de Turing, Norman Routledge. Les prix élevés reflètent l'immense importance historique et scientifique de l'œuvre de Turing et la rareté de ces documents survivants.