Koleksi makalah ilmiah Alan Turing, yang hampir hilang dalam sejarah, terjual lebih dari £300.000 di lelang di Lichfield, Staffordshire. Penjualan tersebut termasuk salinan pribadi Turing dari tesis doktoralnya tahun 1939, "Sistem Logika Berdasarkan Ordinal", dan makalahnya tahun 1937, "Tentang Bilangan yang Dapat Dihitung". Karya-karya ini merupakan dasar bagi ilmu komputer teoretis.
Lelang tersebut melihat penawaran melonjak jauh melampaui perkiraan awal. "Tentang Bilangan yang Dapat Dihitung" terjual seharga £208.000, sementara "Sistem Logika Berdasarkan Ordinal" mencapai £110.500. Lelang tersebut dilakukan oleh Rare Book Auctions di Lichfield.
Koleksi tersebut juga menampilkan barang-barang pribadi, termasuk surat tulisan tangan dari Ethel Turing yang menjelaskan pemberian makalah kepada teman Turing, Norman Routledge. Harga tinggi mencerminkan pentingnya sejarah dan ilmiah yang sangat besar dari karya Turing dan kelangkaan dokumen-dokumen yang masih ada ini.