Posted: Mar 10, 2012 7:28 pm
by stalidon
VazScep wrote:
stalidon wrote:Just wait, the philosophy is coming. From Wiki: "Lambda calculus has applications in many different areas in mathematics, philosophy, and computer science."
I originally mentioned lambda calculus and Haskell to simultaneously give a semantics to existential quantifiers in logic and to models of axiomatic theories in mathematics, the latter having been brought up by someone wondering what models are in science.

I'd say there is plenty of philosophy in programming language design. You're trying to come up with a language for (computationally) modelling just about anything in the world you might be interested in. Just by considering ML references, we can mirror the whole conversation in the philosophy of language concerning referential opacity, sense versus reference, use-versus mention and context.

I consider it a boon that the whole conversation is tethered to engineering concerns. It makes sure we don't go floating away into the clouds of vacuous wibble.

Yeah, and that's were my interest in this thread resides ;) I have no idea how lambda calculus is applied in philosophy, but we shouldn't move it to the 'Social & Fun' area of the forum... I think the programming mind-set has a lot to offer in philosophical matters.

As I said, I never finished uni, and I never had to apply any math theory in my work (and I did have to code some systems which probably required me to invent mathematical theories by myself which probably have names in the textbooks). But I'd love to learn CS at the abstract level, especially now that I don't need to code myself unless it's totally for my own entertainment ;)