4 ms·
Oh get real. I have a background in this. Lambda notation, Hoare notation (I think), 'standard' logic notation. Don't talk rubbish about 'look it up'. You need
by _a_a_a_ 3y ago
Oh get real. I have a background in this. Lambda notation, Hoare notation (I think), 'standard' logic notation.
Don't talk rubbish about 'look it up'. You need a degree to get this. Not a metaphorical degree, the real thing.
Edit - and a brain bigger than mine.
- the_af 3y ago> Don't talk rubbish about 'look it up'. You need a degree to get this. Not a metaphorical degree, the real thing. You really don't need a degree. The Curry-Howard isomorphism is taught in undergraduate CS courses, to students who are simultaneously being introduced to lambda calculus. While I wouldn't say it's trivial, it's not rocket science either. Most students get it and pass the exams.
- fooker 3y agoIt's an introductory CS concept, requiring a degree would make things a bit circular...