One of the first posts I made on this blog was Lambda calculus and Graham’s number, which set out how to express the insanely large number known as Graham’s Number precisely and concise… | Continue reading
Very big numbers like Graham’s Number are often expressed with lengthy, clumsy, semi formal explanations. But it’s concise and convenient to express such numbers precisely in the pure lambda c… | Continue reading
I’m sometimes sarcastic, but I’m trying to give it up altogether. It’s bad to be sarcastic because civility over disagreements is a good idea, and sarcasm is uncivil. But there… | Continue reading