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 Martin Escardo on 2024-10-07 at 20:41

@andrejbauer @jeanas @tito

(This was not a joke, by the way.)

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

Descendants

Written by Andrej Bauer on 2024-10-07 at 21:04

@MartinEscardo @jeanas @tito Yes, I thought it was general knowledge too, so imagine my shock when it turned out I confused Kleene and Tarski in my notes, and the confusion started propagating around the internet.

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