== Ensimmäinen laskentamalli?== 
 Uskon, että lambdalaskenta on ensimmäinen muodollinen laskentamalli (Turingin vuonna 1936 julkaisemassa artikkelissa viitataan Churchiin ja todetaan, että lambdalaskenta tarjoaa vastaavan mallin laskettavuudesta).  Kai tämä ansaitsee maininnan?