Toot

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 | View the thread | More toots from andrejbauer@mathstodon.xyz

Mentions

=> View jeanas@mathstodon.xyz profile | View tito@sciences.re profile

Tags