TD du module Programmation 2 de L3 (ENS de Lyon)
Séance 27-28 Janvier 2009
Les feuilles d'exos sont
Les scripts COQ:
L'origine de S et K:
- K vient de constant (quoique Schönfinkel) utilise C
- S vient du mot allemand Schmelzen qui veut dire fusion.
L'article original de Schönfinkel On the Building Blocks of Mathematical Logic se trouve dans le livre From Frege to Gödel par Jean van Heijenoort qui se trouve à la bibliothèque de l'ENS.
La fonction fepsilon_0 qui est une fonction qui croit beaucoup plus vite que la fonction d'Ackerman-Peter.