Comment by tromp
3 years ago
That just begs the question: in what language do you describe the language L? In terms of features, the language I use was, together with combinatory logic, the first language ever proposed for formalising computation back in the 1930s, so it's about as non-arbitrary as can be...
Very good point!