Kolekcja prac naukowych Alana Turinga, prawie zapomniana przez historię, została sprzedana na aukcji w Lichfield, Staffordshire za ponad 300 000 funtów. Sprzedaż obejmowała osobisty egzemplarz pracy doktorskiej Turinga z 1939 roku, „Systemy logiki oparte na liczbach porządkowych” oraz jego pracę z 1937 roku, „O liczbach obliczalnych”. Prace te stanowią fundament teoretycznej informatyki.
Aukcja przyniosła oferty znacznie przekraczające początkowe szacunki. „O liczbach obliczalnych” sprzedano za 208 000 funtów, a „Systemy logiki oparte na liczbach porządkowych” osiągnęły cenę 110 500 funtów. Aukcję przeprowadziła firma Rare Book Auctions w Lichfield.
Kolekcja zawierała również przedmioty osobiste, w tym odręczny list od Ethel Turing wyjaśniający podarowanie tych prac przyjacielowi Turinga, Normanowi Routledge'owi. Wysokie ceny odzwierciedlają ogromne historyczne i naukowe znaczenie pracy Turinga oraz rzadkość tych zachowanych dokumentów.