LFCS Seminar: 28 May 2021 - Oleg Kiselyov Title: Many More Predecessors: A Representation Workout Abstract: From the outset, lambda calculus represented natural numbers through iterated application. The successor hence adds one more application, and the predecessor removes. In effect, the predecessor un-applies a term - which seemed impossible, even to Church. It took Kleene a rather oblique glance to sight a related representation of numbers, with an easier predecessor. Let us see what we can do if we look at this old problem with today’s eyes. We discern the systematic ways to derive more predecessors - smaller, faster, and sharper while keeping all teeth. Affiliates: Tohoku University http://okmij.org/ftp/ May 28 2021 11.00 - 12.00 LFCS Seminar: 28 May 2021 - Oleg Kiselyov Speaker: Oleg Kiselyov Blackboard Collaborate Invitation Only
LFCS Seminar: 28 May 2021 - Oleg Kiselyov Title: Many More Predecessors: A Representation Workout Abstract: From the outset, lambda calculus represented natural numbers through iterated application. The successor hence adds one more application, and the predecessor removes. In effect, the predecessor un-applies a term - which seemed impossible, even to Church. It took Kleene a rather oblique glance to sight a related representation of numbers, with an easier predecessor. Let us see what we can do if we look at this old problem with today’s eyes. We discern the systematic ways to derive more predecessors - smaller, faster, and sharper while keeping all teeth. Affiliates: Tohoku University http://okmij.org/ftp/ May 28 2021 11.00 - 12.00 LFCS Seminar: 28 May 2021 - Oleg Kiselyov Speaker: Oleg Kiselyov Blackboard Collaborate Invitation Only