> The naive argument that computer scientists often make is that lambda calculus is at the heart of the isomorphism between logic, computation and category theo

> The naive argument that computer scientists often make is that lambda calculus is at the heart of the isomorphism between logic, computation and category theory and this suggests that it refers to some eternal truth. This is a Platonist view of mathematics which is just one of several positions. The main problem with it is that it cannot be tested and so it is more a religious belief than a scientific claim. However, it also ignores the social, cognitive and cultural aspects of mathematical knowledge. I still feel like this Platonist idea somewhat holds. Eventually you'd land on some isomorphic variant of logic, computation or category theory.