I have always enjoyed this light-hearted "formal" analysis of the hardest languages https://people.cs.umass.edu/~rsnbrg/hardest.pdf