Computation, Logic, Philosophy door Hao Wang Hao