445 more words
Mathematics is, I believe, the chief source of the belief in eternal and exact truth, as well as in a super-sensible intelligible world.
Tags » Math
Började dagen med god frukost och matematikskämt = en bra början!
pg 11 has information on the Y combinator. Wikipedia has a better explanation of the proof. https://en.wikipedia.org/wiki/Fixed-point_combinator#Fixed_point_combinators_in_lambda_calculus
Now I understand the proof, but I’m still confused on how it “simulates” recursion.