Interesting bits there: Detective work using intuition and assumptions. The existence of mechanical computers as given in another answer. The use of language

Interesting bits there: Detective work using intuition and assumptions. The existence of mechanical computers as given in another answer. The use of language in the linked paper (1). A mix of formal and informal. After all there is nothing to prove, just an explanation of how he did it. Examples: > The conclusion was inevitable > It is well known that every factor of 2^n — 1, p being a prime, is of the form… 1. https://projecteuclid.org/journalArticle/Download?urlId=bams%2F1183417760 https://projecteuclid.org/journalArticle/Download?urlId=bams...