Tag: Alonzo Church
-
Two cheers for Gove?
Michael Gove is to make a speech today in which he is going to lambast the existing ICT curriculum in English schools and promise a revolutionary new start. Sounds like a good thing, and certainly he appears to have identified the cretinous nature of the current curriculum and its chaining to Microsoft’s proprietary software. So…
-
The lambda calculus and closures in Groovy
No sooner had I written about the lambda calculus and Structure and Interpretation of Computer Programs than I sat in a lecture on closures in Groovy and was presented with a structure like this (which multiplies two numbers, in this case 3 and 4): Which immediately reminded me of one of Alonzo Church‘s formulations of…
cartesian product ... stuff about computing mostly 