Disclaimer: I’m not a computer scientist or mathematician. This post is about what I’ve learnt so far about Lambda Calculus. Most of the resources I’ve… Read More »Lambda Calculus for people a step behind me (4): Reading list, playlist
Disclaimer: I’m not a computer scientist or mathematician. This post is about what I’ve learnt so far about Lambda Calculus. Most of the resources I’ve… Read More »Lambda Calculus for people a step behind me (3): Little Omega, Omega Combinator, Y-Combinator
Disclaimer: I’m not a computer scientist or mathematician. This post is about what I’ve learnt so far about Lambda Calculus. Most of the resources I’ve… Read More »Lambda Calculus for people a step behind me (2): Boolean Logic
Disclaimer: I’m not a computer scientist or mathematician. This post is about what I’ve learnt so far about Lambda Calculus. Most of the resources I’ve… Read More »Lambda Calculus for people a step behind me (1): Basics
So in computer science we’re in the business of formalising this how-to, imperative knowledge. How to do stuff. And the real issues of computer science… Read More »The Wizards (2): Harold Abelson on controlling complexity and real vs idealised systems
Computer Science isn’t Computer Science is a terrible name for this business. First of all, it’s not a science. It might be engineering, or it… Read More »The Wizards (1): Harold Abelson on the essence of computer science as formalising procedural knowledge
Educators, generals, dieticians, psychologists, and parents program. Armies, students, and some societies are programmed. An assault on large problems employs a succession of programs, most… Read More »Alan J. Perlis on Programming and Avoiding the Constipation of Philosophy