This episode explains the idea of normalization of proofs in natural deduction.  We want to eliminate so-called detours in proofs, which occur when an introduction is immediately followed by an elimination.

Podden och tillhörande omslagsbild på den här sidan tillhör Aaron Stump. Innehållet i podden är skapat av Aaron Stump och inte av, eller tillsammans med, Poddtoppen.