Wang Hao: Computation, Logic, Philosophy