Bachelor Project on Dedekind Numbers following Wiedemann (1991)'s strategy to compute dn+2 from Dn.