Como alguém que trabalha pesadamente em matemática e computadores, eu posso verdadeiramente apreciar o papel que a lógica encena em nosso mundo moderno. Ninguém pode entender os fundamentos da matemática enquanto desconhece os fundamentos de lógica e como provas são construídas. Duas das primeiras disciplinas que eu assisti como aluno de graduação em matemática foram em fundamentos da matemática, e dificilmente passa um dia em que eu não uso algum tópico destes cursos