I don't think you understand that a programming language is a formal language that gets interpreted by a machine. It's pretty much mathematical logic the whole

I don't think you understand that a programming language is a formal language that gets interpreted by a machine. It's pretty much mathematical logic the whole way down, and the fact that you can think they're a cultural/social phenomenon is a testament to the amazing work PL researchers have done over the years.