@peterrowlett fairly sure they mention it in the In Our Time programme on Archimedes, but there's no text search. Trust wikipedia