Description

Alan Turing proved that once a programming language reaches a certain level of expressiveness, it is functionally interchangeable with all other such programming languages. What implications does this have for our choice (or lack of choice) between programming languages?