[OT] On the Expressive Power of Programming Languages

[Paolo Invernizzi]

On Sunday, 15 November 2020 at 13:08:58 UTC, Paul Backus wrote:
> On Sunday, 15 November 2020 at 12:31:15 UTC, Russel Winder 
> wrote:
>> I'd say it is a matter of personal prejudice, so most likely 
>> different for each individual.
>>
>> Where two people agree on the "expressiveness" of different 
>> programming languages, you have the beginnings of a clique.
>
> What if I told you there's a way to mathematically formalize 
> the idea of "expressiveness" while preserving many of our 
> intuitions about which programming languages are more 
> expressive than others?
>
> Are you curious? If so, watch the talk--it's all in there. :)

Interesting talk, I've enjoyed it, thanks!