 computer science, philosophy of |  diagrams |  Gödel, Kurt |  logic: classical |  mathematics, philosophy of |  mathematics, philosophy of: naturalism |  mathematics: explanation in |  style: in mathematics 