[NAIL078] Lambda kalkulus I

Nevíte někdo, kam přesně Štěpánek letos došel?

Dnešná skúška: Štěpánek sa najprv spýtal, či chceme typovaný alebo netypovaný λ kalkulus.
Otázky (jedna na človeka):

1. Čo je normálny tvar a aké sú podmienky pre jeho jednoznačnosť?

2. Čo je bezospornosť, je λ kalkulus bezosporný a dá sa rozšíriť na sporný (dá - vraj bolo na cvičení)?

3. Scottova veta

4. Kódovanie λ termov, dôkaz, že {M|M má normálny tvar} nie je rekurzívna.