mathematics stuff because yeah its fun to implement mathematical algorithms using turing machines and lambda calculi