Ancestors

Written by Andrej Bauer on 2024-10-07 at 17:44

@jeanas @tito

The attribution about the discovery of the λ-calculus definition of predecessor in my realizability notes is mistaken (and now it has found its way into https://jean.abou-samra.fr/blog/science-amusante): it was Stephen Klenee, not Alfred Tarski, as documented at the bottom of page 56 of

Stephen C. Klene: Origins of Recursive Function Theory, IEEE Annals of the History of Computing, Jan.-Mar. 1981, pp. 52-67, vol. 3, https://doi.ieeecomputersociety.org/10.1109/MAHC.1981.10004

Let me fix the notes right away.

=> View attached media

=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz

Written by Martin Escardo on 2024-10-07 at 19:58

@andrejbauer @jeanas @tito

I thought everybody knew that Kleene solved this problem while he was in the dentist.

Edit. See e.g. https://iep.utm.edu/lambda-calculi/

=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz

Toot

Written by Cody on 2024-10-07 at 20:42

@MartinEscardo @andrejbauer @jeanas @tito I'd be trying to distract myself with hard problems if I was at the dentist in 1932 as well.

=> More informations about this toot | More toots from codyroux@mathstodon.xyz

Descendants