Programming languages which are discovered (man-made) are Functional Programming (Lisp, Haskell, Scala, ML,… ) using “Propositional Logic” (Typed Lambda Calculus).
Note: Java, C++, Python are invented, not discovered!
Ref: Curry Howard Lambek Isomorphism: they are all the same thing with different ‘faces’ :
“Logic = Algebra = Lambda-Calculus = Category = Type”
Notes: Layman’s terms equivalent:
- Isomorphism = Same = Congruence
- Homomorphism = Similar
- Proposition = Claim / Fact