I've often wondered what the world would look like if languages were actually theoretically different not just practically. I.e. what if you actually needed Fo

I've often wondered what the world would look like if languages were actually theoretically different not just practically. I.e. what if you actually needed Fortran to write a program designed for scientific computation, or Prolog for GOFAI etc. Maybe some cases would fit into several languages ("I showed that SimCity is a special kind of database so you can write it in SQL") but you would have proven gaps in capabilities. Language disputes would be way more fun. P.S. After you finished thinking about this, think about what model theory would look like if Lindström's theorems were false.